ocaml-flambda / flambda-backend
The Flambda backend project for OCaml
☆142Updated this week
Alternatives and similar repositories for flambda-backend:
Users that are interested in flambda-backend are comparing it to the libraries listed below
- Design discussions about the OCaml language☆159Updated 2 months ago
- Lock-free data structures for multicore OCaml☆244Updated 4 months ago
- A tool-agnostic formal specification language for OCaml.☆142Updated 3 months ago
- Parallel Programming over Domains☆177Updated 3 weeks ago
- Software Transactional Memory for OCaml☆120Updated last month
- A deterministic parser with fused lexing☆72Updated last year
- A fancy diagnostics library that allows your compilers to exit with grace☆72Updated 3 weeks ago
- QuickCheck inspired property-based testing for OCaml.☆372Updated last week
- Base library and tools for ppx rewriters☆260Updated last week
- A CI for OCaml projects☆112Updated last month
- Streamlining the release of dune packages to opam☆118Updated last month
- Coq plugin embedding elpi☆166Updated this week
- OCaml plus Jane Street extensions☆74Updated 9 months ago
- A hands-on tutorial on the new parallelism features in OCaml 5☆207Updated last year
- 😎TT☆226Updated last year
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆85Updated 2 weeks ago
- OCaml graph library☆236Updated last week
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Formal verification for OCaml☆261Updated 9 months ago
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆243Updated 3 months ago
- A Deductive Verification Tool for OCaml Programs☆71Updated this week
- Opam repository for the development version of Jane Street packages☆127Updated this week
- Cram like framework for OCaml☆159Updated last week
- A "implementation" of Girard's paradox in OCaml☆107Updated 10 years ago
- A Simple Profiling Library for OCaml☆132Updated 3 months ago
- High level commands to declare a hierarchy based on packed classes☆99Updated this week
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆141Updated this week
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 8 months ago
- GitHub Action for the OCaml programming language☆209Updated this week
- A simple scheduler for OCaml 5☆105Updated last month