Stars
Tools for MIL, a Monadic Intermediate Language
an embedded os written in haskell with microhs with lisp support, cs140e final project
🌸 Learn Japanese grammar with TypeScript
Lean playground for programming language modeling tooling.
Emdash is the Open-Source Agentic Development Environment (🧡 YC W26). Run multiple coding agents in parallel. Use any provider.
Architectural intelligence layer for AI coding agents. Structural graph, architecture governance, multi-agent orchestration, vulnerability mapping. 139 commands, 101 MCP tools, 26 languages, 100% l…
Manage multiple AI terminal agents like Claude Code, Codex, OpenCode, and Amp.
mirror of Fabrice Bellard's libbf tar releases, with fixes and CI
Haskell package for construction and running of finite state transducers.
Verified extraction of neural network weights from Coq proofs to deployable formats
IsoCity: City building simulation game.
An ascii (ratatui) physics based render engine for graphs (petgraph)
A type-safe, component-based language for building reactive WASM web apps.
Alternative interpretation of logical atomicity in Iris
Semantic Search & Call Graphs for AI Agents (100% Local)
Formalizing the stable marriage problem and the Gale-Shapley algorithm in Lean
Türkçe'ye daha yakın deneysel programlama dili / Experimental programming language closer to Turkish
Formalization of the proofs in the POPL 2026 paper Typing Strictness
The mechanized formalization of logical pinning, a lightweight borrowing model and proof discipline for precise reasoning about container-internal pointers.
Verifying a Lazy Concurrent List-Based Set Algorithm in Iris
Tampio: An object-oriented programming language made to resemble Finnish
Formalization of Vickrey-Clarke-Groves auction algorithm and mechanism (this repository is here for reference only; see mech.v for an up-to-date version)
The STM API we know and love, but useable in more circumstances