Stars
A list of programming languages implemented in Rust, for inspiration.
2025 The Little Typer Reading Group in Stellenbosch
An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.
A fast and user-friendly implementation of variant types (aka open unions, open sum types, coproducts)
A simple and easy-to-use library to enjoy videogames programming
Symbolic and Automatic Differentiation of Languages in Lean
Proofs written in Lean4 for the core katydid validation algorithm
A proof assistant for higher-dimensional type theory
LeanSSR: an SSReflect-Like Tactic Language for Lean
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
Self-contained Emacs.app builds for macOS, with native-compilation support.
r1ru / WasmOS
Forked from nuta/microkernel-bookA proof-of-concept microkernel that runs WebAssembly natively.
LLMs as Copilots for Theorem Proving in Lean
Minimal implementations for dependent type checking and elaboration
Lean 3's obsolete mathematical components library: please use mathlib4
Demo for high-performance type theory elaboration
Lean theorem proving interface which feels like pen-and-paper proofs.
A programming language with static memory management based on λ-calculus