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 minimal pure functional language based on self dependent types.โ72Updated 2 years ago
- Haskell bindings to binaryen.โ14Updated 3 years ago
- Provides a Refl encoding in Rustโ68Updated last year
- Tornado is a BitTorrent client written entirely in OCaml.โ56Updated last year
- Collection of Kind2 programs and proofsโ11Updated 10 months ago
- Code style checker for Jane Street Packagesโ19Updated 4 months ago
- A very small implementation of the Calculus of Constructions for experimentation purposesโ15Updated 6 years ago
- Type-Level Programming in Rustโ27Updated 3 years ago
- OCaml plus Jane Street extensionsโ74Updated 8 months ago
- โ9Updated 4 years ago
- a small one-file lisp implemented in kind2, intentionally incompleteโ10Updated 2 years ago
- Purely functional GUI algebraโ75Updated last week
- IDE support for the functional logic programming language Curryโ31Updated 2 weeks ago
- A Categorical View of Computationโ30Updated 5 months ago
- A simple programming language for researching different ways of program execution and compilationโ31Updated 6 months ago
- OCaml bindings for Wasmerโ34Updated 2 years ago
- The Steel separation logic library for F*โ33Updated 3 weeks ago
- Solving the 1 Billion Row Challenge in MPLโ17Updated last year
- A zero-knowledge Lean4 compiler and kernelโ129Updated 4 months ago
- โ59Updated 5 months ago
- โ46Updated 2 months ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.โ14Updated 3 years ago
- Liquid Types implementation for Rustโ28Updated 2 years ago
- ๐งช | Lisp with REPL and macros which will compile itselfโ13Updated 3 months ago
- โ14Updated last year
- โ40Updated 3 years ago