janestreet / ocaml
The core OCaml system: compilers, runtime system, base libraries
☆18Updated 3 years ago
Alternatives and similar repositories for ocaml:
Users that are interested in ocaml are comparing it to the libraries listed below
- The LLVM tutorial using OCaml☆61Updated 4 years ago
- Opam repository for the development version of Jane Street packages☆120Updated 3 months ago
- The SML/NJ project hosts the entire source code of the Standard ML of New Jersey system.☆29Updated 5 years ago
- Jane Street Capital's asynchronous execution library☆214Updated 4 months ago
- Parallel Programming over Domains☆175Updated last year
- Generation of S-expression conversion functions from type definitions☆89Updated 4 months ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆35Updated 8 years ago
- The Flambda backend project for OCaml☆132Updated this week
- Cap'n Proto RPC implementation☆105Updated 2 months ago
- OCaml implementation of the DNS protocol☆105Updated last month
- A pure OCaml PostgreSQL client library☆123Updated 2 years ago
- Streamlining the release of dune packages to opam☆118Updated 2 months ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- Property fuzzing for OCaml☆188Updated last year
- An absurdly tiny Lisp interpreter in OCaml☆31Updated 13 years ago
- Just In Time compiler for OCaml native toplevel☆56Updated last year
- OCamlPro public development repository for Alt-Ergo☆136Updated last week
- Standard IO Library for OCaml☆39Updated 7 months ago
- Preprocessor / Pretty Printer for OCaml☆76Updated this week
- OCaml plus Jane Street extensions☆74Updated 8 months ago
- The TLA⁺ Proof Manager☆73Updated this week
- The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementatio…☆240Updated 2 months ago
- Streaming client for OCaml's Memprof☆68Updated 6 months ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆98Updated 8 months ago
- Multiparty Session Types in OCaml☆59Updated 5 months ago
- Binary protocol generator☆77Updated 4 months ago
- Design discussions about the OCaml language☆157Updated last month
- A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)☆151Updated last year
- Simple template for midsize OCaml project☆125Updated 2 months ago
- Extended Standard Library for OCaml☆74Updated 5 months ago