argumentcomputer / Wasm.lean
A WebAssembly implementation in Lean4
☆32Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for Wasm.lean
- Parser Combinator Library for Lean 4☆34Updated this week
- Tool for compiling Lean to WASM☆14Updated 7 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆31Updated last month
- Formalising the WASM spec in Lean☆16Updated 4 months ago
- Lean 4 port of Megaparsec☆22Updated 9 months ago
- Fωμ type checker and compiler☆51Updated last year
- 🦠 An experimental elaborator for dependent type theory using effects and handlers☆32Updated last year
- ☆12Updated 2 years ago
- Extism Lean 4 Host SDK☆15Updated 2 weeks ago
- The Steel separation logic library for F*☆31Updated 2 weeks ago
- Specification of the Formality proof and programming language☆40Updated last year
- A Lean 4 library for iterators.☆11Updated 10 months ago
- ☆38Updated 2 years ago
- A date and time library for Lean 4☆11Updated 6 months ago
- Provides a Refl encoding in Rust☆68Updated last year
- A TOML parser for Idris 2☆15Updated 4 months ago
- ☆21Updated this week
- Reference compiler for c0☆28Updated 3 months ago
- An implementation of a simple Neural network in Idris using category theory.☆22Updated last month
- LL(1) parser generator verified in Coq☆44Updated 4 years ago
- 🌐 | HTTP primitives for Lean 4☆25Updated 2 weeks ago
- Slides and handwritten notes on the course on models of programming languages☆50Updated 3 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆68Updated 2 months ago
- A Rust implementation of the Lean kernel☆11Updated last year
- sockets for Lean 4☆17Updated 3 months ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆57Updated 2 weeks ago
- Hanoi tower in Coq☆24Updated last year