ocaml-flambda / flambda-backend
The Flambda backend project for OCaml
☆129Updated this week
Alternatives and similar repositories for flambda-backend:
Users that are interested in flambda-backend are comparing it to the libraries listed below
- Software Transactional Memory for OCaml☆117Updated 2 months ago
- Lock-free data structures for multicore OCaml☆239Updated 2 months ago
- A tool-agnostic formal specification language for OCaml.☆140Updated last month
- Parallel Programming over Domains☆174Updated last year
- A deterministic parser with fused lexing☆72Updated last year
- Design discussions about the OCaml language☆156Updated last month
- OCaml plus Jane Street extensions☆74Updated 8 months ago
- Formal verification for OCaml☆256Updated 7 months ago
- A Deductive Verification Tool for OCaml Programs☆69Updated last week
- A CI for OCaml projects☆112Updated last week
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- Realtime grep for OCaml/Coq sources available on opam☆81Updated 6 months ago
- Archive for all Coq related OPAM packages organized in various repositories☆133Updated this week
- Coq plugin embedding elpi☆160Updated this week
- Streamlining the release of dune packages to opam☆118Updated last month
- A mechanisation of Wasm in Coq(Rocq)☆101Updated this week
- High level commands to declare a hierarchy based on packed classes☆97Updated 3 weeks ago
- A simple scheduler for OCaml 5☆100Updated this week
- A Simple Profiling Library for OCaml☆131Updated 2 months ago
- A "implementation" of Girard's paradox in OCaml☆105Updated 9 years ago
- Fuzzy type search for OCaml documentation☆80Updated 8 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆84Updated this week
- An SMT solver frontend for OCaml☆34Updated last week
- A fancy diagnostics library that allows your compilers to exit with grace☆71Updated 9 months ago
- Base library and tools for ppx rewriters☆260Updated 3 weeks ago
- drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with…☆183Updated 6 months ago
- GitHub Action for the OCaml programming language☆208Updated this week
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆141Updated 3 weeks ago
- A modular sat/smt solver with proof output.☆99Updated last year
- A Verified Compiler for Gallina, Written in Gallina☆140Updated last month