HigherOrderCO / hvm2
☆11Updated this week
Related projects: ⓘ
- ☆13Updated this week
- my personal lang☆15Updated 8 months ago
- 🧪 | LLVM backend for HVM☆19Updated last year
- A WebAssembly implementation in Lean4☆32Updated 9 months ago
- ☆16Updated this week
- ☆29Updated this week
- A simple example on how Bend could be used to accelerate program search in a near future☆16Updated 2 months ago
- The Simplest Parser Library (that works) in Rust☆41Updated last month
- 🧮 | Writing an Equation Solver☆31Updated last year
- Eurydice compiles (a modest subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.☆21Updated this week
- Lightweight, higher-order parser in Rust.☆11Updated last year
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 8 months ago
- A minimal proof checker.☆58Updated last week
- Riemann Hypothesis in Lean☆37Updated 3 years ago
- Lean 4 port of Megaparsec☆22Updated 8 months ago
- ☆99Updated this week
- Collection of Kind2 programs and proofs☆11Updated 4 months ago
- ☆105Updated 7 months ago
- AGDA☆22Updated this week
- Fωμ type checker and compiler☆51Updated last year
- Slides and handwritten notes on the course on models of programming languages☆48Updated 3 years ago
- Animations for Elementary-Affine-Net interactions☆11Updated 5 years ago
- Parser Combinator Library for Lean 4☆33Updated 2 weeks ago
- A zero-knowledge Lean4 compiler and kernel☆114Updated last year
- 🍞 | IDE focused programming language study☆31Updated 6 months ago
- Extism Lean 4 Host SDK☆15Updated last month
- My personal standard for how to set up a Javascript workspace☆14Updated last year
- ☆23Updated last year
- Wasm SpecTec specification tools☆25Updated this week
- ☆10Updated this week