LexiFi / menhirLinks
☆22Updated last year
Alternatives and similar repositories for menhir
Users that are interested in menhir are comparing it to the libraries listed below
Sorting:
- OCaml<->Rust FFI with an emphasis on safety.☆145Updated 5 months ago
- OCaml plus Jane Street extensions☆72Updated last year
- Generation of S-expression conversion functions from type definitions☆93Updated this week
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 weeks ago
- Translate OCaml bytecode to WebAssembly☆133Updated 10 months ago
- C-style preprocessor for OCaml☆110Updated 3 weeks ago
- ☆102Updated 3 years ago
- TOML parsing, manipulation, and pretty-printing library for OCaml (fully 1.0.0-compliant)☆55Updated 5 months ago
- ☆64Updated last year
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆123Updated 9 months ago
- A library with an encoding of higher kinded types in OCaml☆42Updated last month
- Less redundancy in type declarations and signatures☆92Updated last month
- OCaml bindings for Binaryen.☆52Updated last week
- A tool-agnostic formal specification language for OCaml.☆152Updated last week
- Playing with type systems☆51Updated 10 months ago
- pyre-ast is an OCaml library to parse Python files. The library features its full-fidelity to the official Python spec, as well as its a…☆43Updated last year
- Owl's OCaml Interface to Eigen3 C++ Library☆33Updated 3 years ago
- A template for you to implement Hazelnut yourself☆22Updated 4 months ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- A pretty-printing combinator library for OCaml☆51Updated last year
- Commodity thread pools and concurrency primitives for OCaml 5☆68Updated this week
- Software Transactional Memory for OCaml☆132Updated 5 months ago
- OCaml linter☆83Updated 3 weeks ago
- A fancy diagnostics library that allows your compilers to exit with grace☆86Updated last month
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆148Updated 3 weeks ago
- A library that makes it nicer to work with nested functional data structures☆60Updated last week
- Light library to deal with RPCs in OCaml☆97Updated 3 months ago
- Binding to Cairo, a 2D Vector Graphics Library.☆57Updated last year
- Parallel Programming over Domains☆180Updated 7 months ago
- A simple monadic parser combinator library for OCaml☆69Updated 3 years ago