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:
- โ23Updated 2 years ago
- ๐งช | LLVM backend for HVMโ23Updated 2 years ago
- my personal langโ16Updated last year
- A WebAssembly implementation in Lean4โ34Updated last year
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 7 years ago
- Provides a Refl encoding in Rustโ68Updated 2 years ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- Type-Level Programming in Rustโ27Updated 3 years ago
- Collection of Kind2 programs and proofsโ11Updated last year
- The Simplest Parser Library (that works) in Rustโ44Updated 10 months ago
- Tornado is a BitTorrent client written entirely in OCaml.โ57Updated last year
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 6 months ago
- Animations for Elementary-Affine-Net interactionsโ11Updated 5 years ago
- A minimal pure functional language based on self dependent types.โ73Updated 3 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.โ14Updated 3 years ago
- A set of tools for Coq written in Rustโ14Updated 7 years ago
- โ9Updated 4 years ago
- โ50Updated 5 months ago
- โ62Updated 8 months ago
- โ23Updated 2 years ago
- โ15Updated 2 years ago
- A more experimental runtime for Ink, focused on perf and instrumentationโ17Updated 4 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.โ27Updated 5 years ago
- An OCaml wrapper library that makes it easy to send email with different services.โ25Updated 3 years ago
- An implementation of strace in Rust, and a library interfaceโ22Updated 7 years ago
- OCaml plus Jane Street extensionsโ74Updated 11 months ago
- Basic (and naive) LZW and Huffman compression algorithms in Rust.โ11Updated 2 years ago
- algebraic typechecking and elaboration of type systemsโ12Updated 5 months ago
- A Rust implementation of the Lean kernelโ10Updated 2 years ago
- A programming language, aka a THINGโ10Updated 4 years ago