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 11 months ago
- my personal lang☆15Updated 10 months ago
- Tornado is a BitTorrent client written entirely in OCaml.☆56Updated 9 months ago
- Language server for the Bend programming language☆11Updated last month
- a small one-file lisp implemented in kind2, intentionally incomplete☆10Updated last year
- A very small implementation of the Calculus of Constructions for experimentation purposes☆14Updated 6 years ago
- Collection of Kind2 programs and proofs☆11Updated 6 months ago
- Haskell bindings to binaryen.☆13Updated 3 years ago
- A more experimental runtime for Ink, focused on perf and instrumentation☆17Updated 3 years ago
- A minimal pure functional language based on self dependent types.☆72Updated 2 years ago
- Minimal Prolog implemented in Rust☆42Updated last month
- DRAT proof processor☆13Updated last year
- Provides a Refl encoding in Rust☆68Updated last year
- Extism Lean 4 Host SDK☆15Updated 3 weeks ago
- A Categorical View of Computation☆28Updated last month
- ☆11Updated last year
- 🧪 | Lisp with REPL and macros which will compile itself☆13Updated 10 months ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- A zero-knowledge Lean4 compiler and kernel☆121Updated 2 weeks ago
- A code browsing library for VCS file systems.☆32Updated 2 years ago