A statically typed language built for one thing: code that survives AI edits

• Almide
• Shell
• code-generation

Normative semantics, contract ledger and conformance corpus that judge any almide binary; no compiler.

• Rust
• Python
• almide

A static semantics language above LLVM IR for writing verified contracts for the optimizer.

• C
• Lean

Astro + Starlight documentation site for Almide, with code samples runnable in the browser.

• TypeScript
• CSS
• almide

Universal FFI binding generator library for Almide, written entirely in Almide

• Shell
• almide
• bindgen

Daily measurement of how often LLM-written code survives modification in Almide, with a harness written in Almide.

• HTML
• Shell
• almide

Single source of truth for Almide syntax: keywords, operators, precedence and TextMate scopes.

• almide
• grammar
• syntax-highlighting

VS Code extension for Almide (.almd files), with a TextMate grammar generated from Almide source

• almide
• programming-language
• syntax-highlighting

Tree-sitter grammar for the Almide programming language, mirroring the compiler's parser.

• JavaScript
• Rust
• almide

Streaming LLM clients for Almide with a shared response format.

Neural-network kernels for Almide, from attention to Qwen3 decoder layers.

• Shell

Online playground to write and run Almide .almd code in the browser via WASM, no install needed

• Almide
• HTML
• almide

A proof language in Almide that tracks the assumptions behind checked proofs

• Shell
• Python

Package exporter that compiles Almide modules into native libraries for 21 languages plus npm/Wasm

• almide
• code-generation
• ffi

Library that generates WebAssembly and JS/TS bindings for Almide, written in Almide

• JavaScript
• HTML

A landing page introducing the Almide programming language.

• CSS
• JavaScript

Examples of one shared Almide JSON API across multiple cloud execution routes

• Almide
• Shell

Drop-in AGENTS.md and Claude Code skill that teach coding agents to write Almide correctly

Example programs and a mini-git benchmark implementation for the Almide programming language

• Almide

Browser API bindings for Almide WASM apps, bridging Almide code to DOM, fetch and timers.

• Almide
• Shell

Pure-Almide, tree-sitter compatible parser generator that reads grammar.json to build syntax trees

• Shell

Progress log and benchmarks for Almide's JS/TS-friendly WASM SDK and its binding generator.

• Shell
• Almide

AES-128-CFB8 encryption library for Almide, using AES-NI on Rust and pure Almide on WASM

• Rust

Multi-pattern DFA matcher for Almide: compiles a regex set into one leftmost-longest automaton.

• Shell

Pure Almide library for generating SVG documents, working on all Almide targets.

• almide
• codegen
• svg

Pure Almide YAML parser and serializer for Almide, with Codec integration for typed records

• almide
• parser
• yaml

SHA-1 hash library for Almide, native-accelerated on Rust with a pure Almide WASM fallback

• Rust

SQLite3 database access library for the Almide language, installed with almide add

• Rust

Pure Almide Base64 encoding and decoding library, with standard and URL-safe variants.

• almide
• base64
• encoding

Pure Almide CSV parser and serializer with RFC 4180 support, for the Almide language

• almide
• csv
• parser

TOML v1.0 parser and serializer for Almide, written in pure Almide with Codec integration

• almide
• parser
• toml

Arbitrary-precision unsigned integer arithmetic library for the Almide language

An Almide library for RSA PKCS1v15 encryption with DER key parsing.

Run an agent with only the permissions you actually granted it

• Python
• Almide
• ai-agent

Team development tool on Claude Agent SDK where a Lead agent runs Teammate agents in parallel.

• HTML
• CSS
• agent-sdk

Syntax-tree engine in Almide for coding agents: lexer, grammar-driven parser, readers, CLI library

• Python
• C

The gramide binary: syntax trees for coding agents, composing the engine and language packages.

• Almide
• Shell

Python 3.14 support for gramide-cli: lexer, grammar, symbol rules and edit-time recovery, checked against CPython

• Python
• C

Almide package for gramide-cli: lexer spec, grammar, compiled table and symbol rules

• Python
• Shell

Almide package giving gramide the Go lexer spec, grammar, compiled table and symbol rules

• Python
• C

Almide package giving gramide-cli its Rust lexer spec, grammar, compiled table and symbol rules

• Python
• Shell

Read, edit, run the tests: a coding agent that solves more than Aider on the same model

• Shell
• Python

A coding agent in the terminal, in the line of Claude Code, Codex and Aider

• Python
• Shell

Read code the way a model should: cat, grep and sed for coding agents

• Python
• Shell

Static analysis that scores 35 languages on one scale

• Almide
• Lean
• cli

JavaScript language package for gramide: scanner, grammar, table and symbol rules in Almide

• Python
• C

TypeScript language package for gramide, checked against the TypeScript compiler's parser, in Almide

• Python
• JavaScript

Claude Code skill that runs due diligence on product-name candidates and returns a verdict report

• almide
• claude-code
• claude-skill

Validates JSON syntax and reads its structure for gramide.

• Python
• Shell

A TypeScript CLI that shows directory trees and file contents, respecting .gitignore rules

• Python
• Shell

Reads a core subset of C syntax for gramide.

• Python
• C

Reads a core subset of C# syntax for gramide.

• Python
• C#

Reads a structural subset of CSS for gramide.

• Python
• CSS

Reads a core subset of Java syntax for gramide.

• Python
• Java

Reads a core subset of Lua 5.4 syntax for gramide.

• Python
• Lua

Reads a SQLite-style SQL syntax subset for gramide.

• Python
• SQL

Reads core TOML 1.0 structures for gramide.

• Python
• Shell

Claude Code profile switcher that overlays symlinks so settings stay shared by default

Context firewall for Claude Code and Codex CLI that vaults tool outputs and shows the model compressed views

• Rust
• Python

Stores coding-agent benchmark figures with their qualifiers intact, plus a harness to measure missing ones.

• Almide
• Shell

A framework that fronts any API's operations with four generic MCP tools instead of one per endpoint

• JavaScript

CLI that measures Almide code complexity from gramide's parse, skipping files not fully parsed

• Shell

Zero-config AST-level code quality analyzer for TypeScript and JavaScript, run from one CLI command

• HTML
• ast
• baseline

Claude Code plugin adding /codopsy to run codopsy-ts, score code quality and auto-fix issues

• claude-code
• claude-code-plugin
• claude-code-skill
• code-quality

Recursive Rust + Playwright web crawler that serves collected text to AI agents via MCP

• JavaScript

A shell CLI that uses Claude Code's bypass permissions to build whole projects from a description.

Browser chat demo running the Bonsai 1-bit LLM compiled to WASM through the Almide language

• JavaScript
• HTML

Multi-provider LLM client for Almide: one interface for every provider, pure Almide.

• ai
• almide
• anthropic

Modular AI agent CLI runtime written in Almide, built on almai for multiple LLM providers

A CLI tool giving unified terminal access to OpenAI, Azure, Claude, Bedrock and Ollama LLMs

A computer-use agent in Almide that lets Claude see and control a real macOS desktop.

Minecraft protocol implementation in Almide: TCP, packet framing, encryption, compression

A command-line interface for the Almide Minecraft bot, written in Almide.

Minecraft bot framework in Almide handling authentication, login, NeoForge handshake and keep alive

Minecraft auth module for the Almide language, installed as a git dependency

A Minecraft chat module for the Almide language, installed as a git dependency.

A Minecraft chunk module for the Almide language, installed as a git dependency.

A Minecraft entity module for the Almide language, installed as a git dependency.

A Minecraft item module for the Almide programming language.

A Minecraft NBT module for the Almide programming language.

An Almide implementation of mineflayer-pathfinder: A* pathfinding for Minecraft bots

A Minecraft registry module for the Almide language, installable as a git dependency.

A Minecraft world module for the Almide programming language.

A Minecraft neoforge module for the Almide language, installed as a git dependency.

AI integration layer for Minecraft bots, covering Phase 5 Intelligence with almai

Block collection automation for Minecraft bots, an Almide implementation of mineflayer-collectblock

Inventory window management for Minecraft bots, an Almide implementation of prismarine-windows

Minecraft physics simulation library for Almide, equivalent to prismarine-physics.

Minecraft proxy foundation, an Almide implementation of prismarine-proxy.

PvP combat utilities for Minecraft bots, an Almide implementation of mineflayer-pvp

Almide implementation of node-minecraft-protocol's server mode, a Minecraft server protocol base

A lightweight Minecraft server implementation, an Almide implementation of flying-squid

A Minecraft block module for the Almide programming language.

Minecraft data definitions for Almide, covering blocks, entities and game modes

Minecraft crafting recipes for Almide, an equivalent of prismarine-recipe.

A minimal, fail-safe CLI (TypeScript + Ink) for managing Minecraft servers on Docker, per Pak.

• JavaScript

A UI framework for running one Almide program across the web and native platforms

• Rust
• JavaScript

Avatar sculpting toolkit to inspect, edit and visually customize VRM 3D avatar files

• Almide
• Python

Inference for Almide: Whisper plus Qwen CPU execution

• Python
• Rust
• almide

Graphics runtime for Almide providing Canvas 2D, WebGL and 3D mesh rendering via WASM

• Rust
• Almide
• 3d

Pure graphics math primitives for Almide that use no @extern(wasm) and run on every target

• almide
• graphics
• math

A WebGPU-based 2D and 3D rendering foundation for Almide

• JavaScript
• Rust

GPU-native UI framework for Almide: layout, widgets and interaction on top of snaidhm

• JavaScript
• HTML

A desktop shell for Hyprland written in Almide

• Shell
• Python

Pure-WASM animation engine for Almide with anime.js-inspired tween, easing, timeline and stagger

• HTML

Renderer-agnostic VRM/glTF character layer for Almide: parsing, geometry, morphs, expressions

• JavaScript

Differentiable programming library for Almide: reverse-mode autograd, tensors and optimizers

• Python

A ceangal counter built for six platforms from one Almide source.

Proof-of-concept native wgpu backend for ceangal, written in Rust

Pre-built static PHP binaries for every platform, needing no apt, brew or Docker to run.

A native-Rust multi-language toolchain manager driven by qusp.toml, locked in qusp.lock.

• Shell
• Python
• asdf

Fast single-binary Go version and toolchain manager in Rust, like uv for Python

• Shell
• cli
• developer-tools

Rust crate holding the shared plumbing for *v toolchain managers such as gv and rv

• developer-tools
• library
• rust

Homebrew tap distributing @O6lvl4's formulae, including gv and codopsy.

• Ruby
• developer-tools
• golang

An Obsidian knowledge base stored with Git LFS, with a graph viewer for browsing it

• TypeScript
• CSS

Knowledge-retention CLI that runs SM-2 spaced repetition on a markdown vault, written in Almide

Native macOS desktop app for AI-powered spaced repetition flashcards, with local-first storage.

• Go
• CSS
• anthropic

Astro integration that turns a markdown vault into a static knowledge base.

• TypeScript

Parametric EQ of cascaded RBJ biquads in Almide, correcting the CYBER CY-P5GMWHS headset's sound

• Almide

Swimlane timeline of semiconductors and world affairs, 2018–2026, with sourced events and causal links.

• JavaScript
• CSS

A single table gathering public agent-benchmark leaderboards by model, with every number sourced.

• HTML
• Python

Sample portfolio site for a Japanese artist, built from 64 Hokusai landscape prints (The Met Open Access)

• CSS
• HTML
• github-pages

Talk slides on the state of WebAssembly, seen through the Almide language, for Webナイト宮崎

Static dashboard showing local health risks, JMA warnings, weather and sun cycle on one screen

• HTML
• CSS

A fully local hydration coach that shows how much more you can drink or how long to wait, from your profile and recent intake.

• HTML
• CSS

Whistle pitch detection toolkit that shows matching chords, plus a whistle-controlled rhythm game

• Rust

CLI that finds the cheapest flight×hotel combos for trip constraints and compares variants.

Infrastructure-as-code CLI that declaratively manages Google Forms from YAML definitions.

Early warning system that detects supply chain attacks from social signals before CVEs exist

• SQL
• JavaScript

A CLI that renders Mermaid diagrams to refined SVG and PNG using a custom pretty theme

A Go CLI that scans git repos for gitignored files like .env and secrets, and migrates them between machines.

CLI and Python module to convert and merge delimiter-separated files: CSV, TSV, any DSV

• cli
• csv
• delimiter

A CLI that stacks multiple PDFs and directories into a single merged PDF file.

• cli
• functional-programming
• pdf

A lightweight macOS menu bar clipboard history manager written in pure Objective-C.

• clipboard
• cocoa
• macos

An almide CLI that quantitatively checks daily life data against the 14 O6lvl4-protocol rules.

Semantic UI structure analyzer that turns a URL into the modules a designer would draw, not the DOM

• HTML
• JavaScript

Almide implementation of Tocsin, a supply chain attack early warning tool.

Discord bot for connpass API v2 events, written in Go 1.27 to showcase its new features

• Go
• CSS

Rust engine that converts HTML with CSS Paged Media into PDF, built on Servo components

• HTML
• Shell

CLI that detects your Mac, finds equal-or-better current models, and estimates net upgrade cost after trade-in.

• Shell
• Python
• apple-silicon

DNS record checker written in MoonBit for verifying email-sending domain setup.

• cli
• dns
• moonbit

A thin git-flavored CLI on top of rclone for syncing a local path with an rclone remote

Node.js tool that composes a labeled grid catalog image from a YAML/JSON spec, using Sharp.

Go CLI that keeps receipts and bookkeeping documents tidy: naming, gaps and filing.

• HTML

A set of operational protocols for sleep, diet, exercise and cognition to maximize intellectual work.

A Go CLI that opens URLs in a specific Chrome profile, chosen by its account email.

A macOS diagnostic tool that isolates internet problems layer by layer, from the bottom up.

A CLI that transcribes YouTube URLs: subtitles first, local Whisper fallback, optional LLM cleanup

• cli
• python
• subtitles

A CLI that syncs environment config files with cloud storage, versioned by Git tag or branch

• Shell

A CLI that manages and switches between multiple Azure accounts via isolated profiles

A CLI tool that captures directory structure and file contents into a PDF for multi-modal LLMs

A utility function that converts Zod schemas into Markdown documentation.

• TypeScript

Converts Lean 4 specs into TypeScript types, function stubs and fast-check property tests.

• Lean
• code-generation
• fast-check

Zero-cost functional programming toolkit for Zig, working directly on native ?T and E!T

• functional-programming
• maybe
• option

Ruby library that keeps OpenTelemetry traces connected across Thread, Fiber, queue and Ractor boundaries.

• concurrency
• distributed-tracing
• observability

Read an architecture before you build it: push the expected load through Terraform and read cost, headroom, latency and availability

• TypeScript
• CSS

A Hello World CLI app written in Lean 4, with prebuilt binaries for Linux and macOS.

Lean 4 learning sandbox with ten step-by-step tutorials, from theorem proving to programming

• functional-programming
• japanese
• lean

A FizzBuzz command-line app written in Lean 4, built on fizzbuzz-lean4-lib

A Lean 4 to Rust backend that generates Rust code from Lean's IR, with a runtime and WASM support.

• Lean

A Claude Code plugin providing best practices for generating Lean 4 code.

A FizzBuzz library written in Lean 4, usable as a Lake dependency.

A lightweight macOS and Linux terminal for long interactive CLI sessions

• Rust
• Python

An unofficial guide to public information about RubyKaigi 2027 in Miyazaki.

• CSS
• Ruby

A runtime that confines a coding agent's tools with the operating system's kernel

• Almide
• Shell

Timelines of corporate cyber incidents and library vulnerabilities, using primary sources.

• TypeScript
• CSS

A sample AWS SAM template for a Go Lambda function behind API Gateway, with build and deploy steps.

A from-scratch OpenTelemetry tracing SDK in pure Almide, with a two-service trace demo in Jaeger

A module design method grounded in role boundaries, cards and evidence

• Go
• Python

Notes comparing Go 1.27 new features with the almide 0.41 language, for a Miyazaki.go meetup

• Go
• Shell

Runnable before/after pairs comparing how code is written in Go 1.26 versus Go 1.27

• Shell

Minimal demo running Almide-compiled WASM in an AudioWorklet as an 8-harmonic additive synth

• HTML
• Almide

A Fennel project template for the Minecraft CC:Tweaked mod, compiled to a single Lua file.

A Flutter project named stock_counter_app, still at the default starter-template stage.

• C++
• C

A sandbox documenting how to deploy a TypeScript Next.js app to GitHub Pages step by step

• TypeScript
• JavaScript

A Go sample template for an AWS Lambda function behind API Gateway, built and deployed with SAM.

A Japanese guide to building environments on Google Cloud Platform using Terraform.

A Go CLI application built with the Cobra library, with setup steps using cobra-cli.

Reference architecture for LINE login in Next.js App Router, deployed to Firebase with CDKTF infrastructure.

• Shell
• CSS

A Next.js project bootstrapped with create-next-app, per the standard starter template

• JavaScript
• CSS

Demo of responsive design with React and Tailwind CSS breakpoints, companion to a Zenn guide

• JavaScript
• Shell

A demo project showing how to build Node.js apps with TypeScript and ts-node, from setup to advanced use.

• Shell

A React app bootstrapped with Create React App; the README describes no tz-clocks-specific features

• CSS

Automatic landfill and land-leveling system for Ender Turtles in CC:Tweaked, written in Lua and Fennel

No README; a Go repository whose name suggests a sandbox for competitive programming solutions

No README; a Go repository whose name suggests a sandbox for the lo library.

A sandbox repository written in Go and CSS, apparently for trying the vecty library; no README

• Go

A repository named mastra-sandbox; it has no README, so its purpose is not documented.

• JavaScript

A Rust repository named rust-cli-sandbox, apparently a sandbox for CLI experiments.

A Go sandbox repository for Ebitengine; the repo has no README describing it further.

A TypeScript repository with no README, so its purpose is not documented.

A React Native boilerplate project written in TypeScript; the README gives only its name.

• JavaScript
• C

A sandbox repository for a Discord bot; the README gives only the project name.

A sandbox repository named sandbox-langchaingo, apparently for trying out langchaingo.

A sandbox repository for Tyrano experiments; it has no README describing it.

• JavaScript
• CSS