HigherOrderCO / HOP
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
- π§ͺ | LLVM backend for HVMβ23Updated last year
- A WebAssembly implementation in Lean4β34Updated last year
- β23Updated 2 years ago
- my personal langβ16Updated 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
- π§ͺ | Lisp with REPL and macros which will compile itselfβ13Updated 4 months ago
- A very small implementation of the Calculus of Constructions for experimentation purposesβ15Updated 6 years ago
- Provides a Refl encoding in Rustβ68Updated 2 years ago
- A minimal pure functional language based on self dependent types.β72Updated 2 years ago
- Haskell bindings to binaryen.β14Updated 3 years ago
- Tornado is a BitTorrent client written entirely in OCaml.β56Updated last year
- OCaml plus Jane Street extensionsβ74Updated 9 months ago
- Collection of Kind2 programs and proofsβ11Updated 11 months ago
- DRAT proof processorβ14Updated 2 years ago
- Animations for Elementary-Affine-Net interactionsβ11Updated 5 years ago
- A zero-knowledge Lean4 compiler and kernelβ130Updated 5 months ago
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applicationsβ18Updated 5 months ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation onβ¦β34Updated last week
- algebraic typechecking and elaboration of type systemsβ12Updated 3 months ago
- π΅ A lisp REPL interpreter made in Haskellβ24Updated 5 years ago
- Shared Lurk source code, including tests and library code.β18Updated last year
- OCaml bindings for Wasmerβ34Updated 2 years ago
- Code style checker for Jane Street Packagesβ19Updated 5 months ago
- β9Updated 4 years ago
- An OCaml wrapper library that makes it easy to send email with different services.β25Updated 3 years ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.β26Updated 5 years ago
- The Simplest Parser Library (that works) in Rustβ43Updated 8 months ago
- Basic (and naive) LZW and Huffman compression algorithms in Rust.β11Updated last year
- A Categorical View of Computationβ31Updated 6 months ago