ocaml-flambda / flambda-backend
The Flambda backend project for OCaml
☆133Updated this week
Alternatives and similar repositories for flambda-backend:
Users that are interested in flambda-backend are comparing it to the libraries listed below
- A tool-agnostic formal specification language for OCaml.☆141Updated 2 months ago
- Lock-free data structures for multicore OCaml☆244Updated 3 months ago
- Design discussions about the OCaml language☆158Updated 2 months ago
- Software Transactional Memory for OCaml☆119Updated 2 weeks ago
- A deterministic parser with fused lexing☆72Updated last year
- A CI for OCaml projects☆112Updated 2 weeks ago
- OCaml plus Jane Street extensions☆74Updated 9 months ago
- Parallel Programming over Domains☆177Updated last week
- Formal verification for OCaml☆255Updated 8 months ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 7 months ago
- A fancy diagnostics library that allows your compilers to exit with grace☆72Updated this week
- A "implementation" of Girard's paradox in OCaml☆106Updated 10 years ago
- A Simple Profiling Library for OCaml☆132Updated 2 months ago
- A modular sat/smt solver with proof output.☆99Updated last year
- 😎TT☆225Updated last year
- A hands-on tutorial on the new parallelism features in OCaml 5☆206Updated last year
- Streamlining the release of dune packages to opam☆118Updated last week
- A Deductive Verification Tool for OCaml Programs☆69Updated last month
- Base library and tools for ppx rewriters☆260Updated last week
- High level commands to declare a hierarchy based on packed classes☆97Updated this week
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆84Updated 3 weeks ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆101Updated last year
- A simple scheduler for OCaml 5☆104Updated last week
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆138Updated this week
- Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)☆141Updated last month
- Fuzzy type search for OCaml documentation☆80Updated 9 months ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- A mechanisation of Wasm in Coq(Rocq)☆103Updated last week
- Monitor Eio programs☆78Updated last year
- A Verified Compiler for Gallina, Written in Gallina☆148Updated this week