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.☆147Updated 3 months ago
- Software Transactional Memory for OCaml☆130Updated 3 months ago
- A template for you to implement Hazelnut yourself☆22Updated 2 months ago
- Generation of S-expression conversion functions from type definitions☆91Updated 3 weeks ago
- Translate OCaml bytecode to WebAssembly☆133Updated 8 months ago
- A tool-agnostic formal specification language for OCaml.☆146Updated last week
- Sets of libraries and tools to write applications and libraries mixing OCaml and Rust. These libraries will help keeping your types and d…☆135Updated last week
- OCaml extensions in Rust☆278Updated last month
- OCaml bindings for Python☆199Updated last month
- OCaml linter☆81Updated last week
- Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.☆124Updated 7 months ago
- Parallel Programming over Domains☆179Updated 5 months ago
- The core OCaml system: compilers, runtime system, base libraries; WebAssembly port based on wasi-kernel☆43Updated 2 years ago
- OCaml plus Jane Street extensions☆73Updated last year
- Fωμ type checker and compiler☆54Updated 2 years ago
- A simple monadic parser combinator library for OCaml☆68Updated 3 years ago
- Interoperable effects based concurrency☆134Updated 3 months ago
- A pretty-printing combinator library for OCaml☆51Updated last year
- ☆63Updated 11 months ago
- A CI for OCaml projects☆114Updated this week
- Opam repository for the development version of Jane Street packages☆131Updated 3 weeks ago
- OCaml extended with modular implicits☆104Updated 6 years ago
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆146Updated 7 months ago
- Light library to deal with RPCs in OCaml☆98Updated last month
- Preprocessor / Pretty Printer for OCaml☆76Updated last month
- Nice parsers in OCaml without the boilerplate☆126Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆73Updated 3 years ago
- Process library and s-expression based shell☆143Updated 4 months ago
- Base library and tools for ppx rewriters☆272Updated last week
- Pure functional programming with whole-program mutability inference☆75Updated last month