HigherOrderCO / HOP
Lightweight, higher-order parser in Rust.
โ11Updated last year
Related projects โ
Alternatives and complementary repositories for HOP
- ๐งช | LLVM backend for HVMโ20Updated last year
- โ23Updated last year
- A WebAssembly implementation in Lean4โ32Updated 10 months ago
- Haskell bindings to binaryen.โ13Updated 3 years ago
- Tornado is a BitTorrent client written entirely in OCaml.โ56Updated 8 months ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ14Updated 6 years ago
- Collection of Kind2 programs and proofsโ11Updated 5 months ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated last year
- my personal langโ15Updated 10 months ago
- Provides a Refl encoding in Rustโ68Updated last year
- A minimal pure functional language based on self dependent types.โ72Updated 2 years ago
- OCaml plus Jane Street extensionsโ72Updated 3 months ago
- A code browsing library for VCS file systems.โ32Updated 2 years ago
- A zero-knowledge Lean4 compiler and kernelโ119Updated this week
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 9 months ago
- Solving the 1 Billion Row Challenge in MPLโ16Updated 10 months ago
- โ14Updated last year
- โ15Updated last year
- The Steel separation logic library for F*โ31Updated 2 weeks ago
- OCaml bindings for Wasmerโ31Updated 2 years ago
- โ13Updated last year
- Extism Lean 4 Host SDKโ15Updated 2 weeks ago
- Build rust crates in Nix. No configuration, no code generation, no IFD. Sandbox friendly.โ10Updated 3 years ago