ocaml-flambda / flambda-backendLinks
The Flambda backend project for OCaml
☆146Updated this week
Alternatives and similar repositories for flambda-backend
Users that are interested in flambda-backend are comparing it to the libraries listed below
Sorting:
- Design discussions about the OCaml language☆161Updated 3 months ago
- Lock-free data structures for multicore OCaml☆244Updated last week
- A tool-agnostic formal specification language for OCaml.☆144Updated 3 months ago
- Parallel Programming over Domains☆177Updated last month
- Software Transactional Memory for OCaml☆120Updated 2 months ago
- A deterministic parser with fused lexing☆73Updated last year
- Base library and tools for ppx rewriters☆267Updated last week
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆143Updated 3 months ago
- A CI for OCaml projects☆112Updated 3 weeks ago
- A fancy diagnostics library that allows your compilers to exit with grace☆74Updated last month
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated 2 weeks ago
- Formal verification for OCaml☆263Updated 9 months ago
- A Deductive Verification Tool for OCaml Programs☆73Updated last week
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆87Updated last week
- OCaml plus Jane Street extensions☆74Updated 10 months ago
- Cram like framework for OCaml☆164Updated this week
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆142Updated this week
- A Simple Profiling Library for OCaml☆132Updated 4 months ago
- Streamlining the release of dune packages to opam☆118Updated last month
- A simple scheduler for OCaml 5☆106Updated last week
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago
- An OCaml lexer generator for Unicode☆253Updated this week
- GitHub Action for the OCaml programming language☆211Updated this week
- 😎TT☆227Updated last year
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 7 months ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 8 months ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆243Updated 4 months ago
- QuickCheck inspired property-based testing for OCaml.☆374Updated last month
- A modular sat/smt solver with proof output.☆99Updated last year
- Interoperable effects based concurrency☆131Updated 2 weeks ago