Almide itself — a statically-typed language — and everything around it: the normative semantics with its conformance corpus (als), one source of truth for the grammar (almide-grammar) and the parsers built from it (parsegen, tree-sitter-almide), editor support (vscode-almide), exports to other languages and to WASM (almide-bindgen, almide-wasm-bindgen, almide-lander), the documentation and the playground, and a ground that measures every day how much generated code survives being modified (almide-dojo). Arlk is a proof language written in Almide that tracks a theorem's assumptions. wyve, written in Racket, puts static semantics above LLVM IR and asks the optimizer to record its contracts.
All families
A statically typed language built for one thing: code that survives AI edits
A statically typed language built for one thing: code that survives AI edits
Normative semantics, contract ledger and conformance corpus that judge any almide binary; no compiler.
A static semantics language above LLVM IR for writing verified contracts for the optimizer.
Astro + Starlight documentation site for Almide, with code samples runnable in the browser.
Universal FFI binding generator library for Almide, written entirely in Almide
Daily measurement of how often LLM-written code survives modification in Almide, with a harness written in Almide.
Single source of truth for Almide syntax: keywords, operators, precedence and TextMate scopes.
VS Code extension for Almide (.almd files), with a TextMate grammar generated from Almide source
Tree-sitter grammar for the Almide programming language, mirroring the compiler's parser.
Streaming LLM clients for Almide with a shared response format.
Neural-network kernels for Almide, from attention to Qwen3 decoder layers.
Online playground to write and run Almide .almd code in the browser via WASM, no install needed
A proof language in Almide that tracks the assumptions behind checked proofs
Package exporter that compiles Almide modules into native libraries for 21 languages plus npm/Wasm
Library that generates WebAssembly and JS/TS bindings for Almide, written in Almide
A landing page introducing the Almide programming language.
Examples of one shared Almide JSON API across multiple cloud execution routes
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
Browser API bindings for Almide WASM apps, bridging Almide code to DOM, fetch and timers.
Pure-Almide, tree-sitter compatible parser generator that reads grammar.json to build syntax trees
Progress log and benchmarks for Almide's JS/TS-friendly WASM SDK and its binding generator.