HigherOrderCO / HOPLinks
Lightweight, higher-order parser in Rust.
โ12Updated 2 years ago
Alternatives and similar repositories for HOP
Users that are interested in HOP are comparing it to the libraries listed below
Sorting:
- ๐งช | LLVM backend for HVMโ23Updated 2 years ago
- A WebAssembly implementation in Lean4โ34Updated last year
- โ23Updated 2 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 6 years ago
- my personal langโ16Updated last year
- โ48Updated 5 months ago
- Collection of Kind2 programs and proofsโ11Updated last year
- A minimal pure functional language based on self dependent types.โ73Updated 3 years ago
- Type-Level Programming in Rustโ27Updated 3 years ago
- Provides a Refl encoding in Rustโ68Updated 2 years ago
- Tornado is a BitTorrent client written entirely in OCaml.โ57Updated last year
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- Solving the 1 Billion Row Challenge in MPLโ17Updated last year
- The Simplest Parser Library (that works) in Rustโ44Updated 10 months ago
- A more experimental runtime for Ink, focused on perf and instrumentationโ17Updated 4 years ago
- The next-generation Olin runtime, made with loveโ66Updated 2 years ago
- A Rust implementation of the Lean kernelโ10Updated 2 years ago
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 6 months ago
- โ23Updated 2 years ago
- A well typed by construction kernel language for bidirectional programmingโ14Updated 5 months ago
- โ9Updated 4 years ago
- algebraic typechecking and elaboration of type systemsโ12Updated 4 months ago
- A code browsing library for VCS file systems.โ32Updated 2 years ago
- A set of tools for Coq written in Rustโ14Updated 7 years ago
- Haskell bindings to binaryen.โ14Updated 4 years ago
- A Categorical View of Computationโ33Updated 7 months ago
- OCaml plus Jane Street extensionsโ74Updated 10 months ago
- Animations for Elementary-Affine-Net interactionsโ11Updated 5 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.โ14Updated 3 years ago
- Minimal Prolog implemented in Rustโ44Updated 8 months ago