janestreet / ironLinks
Jane Street code review system
☆172Updated 5 years ago
Alternatives and similar repositories for iron
Users that are interested in iron are comparing it to the libraries listed below
Sorting:
- Purely functional SSH library in ocaml.☆103Updated last month
- Binary protocol generator☆79Updated last month
- A web server written in Coq.☆88Updated 9 years ago
- Jane Street Capital's asynchronous execution library☆220Updated last month
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆234Updated last month
- OCaml plus Jane Street extensions☆74Updated last year
- OCaml extended with modular implicits☆104Updated 6 years ago
- Process library and s-expression based shell☆140Updated 2 months ago
- A tutorial on Incremental, originally for CUFP 2017☆45Updated 7 years ago
- Typed Regular Expressions☆173Updated 5 years ago
- ☆60Updated 5 years ago
- Some simple exercises for getting up and running with OCaml, Dune, Core and Async☆16Updated 7 years ago
- Instructions for setting up an OCaml development environment☆97Updated 5 years ago
- Higher-kinded programming in OCaml☆183Updated last year
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 8 months ago
- OCaml code generator plugin for the Cap'n Proto serialization framework☆100Updated last year
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆36Updated last month
- Jane Street Capital's asynchronous execution library (core)☆57Updated last month
- Topological sort algorithm☆13Updated 2 months ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆28Updated 5 years ago
- OCaml interpreter☆102Updated 5 years ago
- Imandra FIX Engine☆52Updated last month
- Pure OCaml Git format and protocol☆364Updated 2 months ago
- A Protobuf Compiler for OCaml☆183Updated 10 months ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆16Updated last month
- The core parallel and shared memory library used by Hack, Flow, and Pyre☆41Updated 4 years ago
- Reagents for multicore OCaml☆126Updated 2 years ago
- OCaml cryptographic library☆111Updated 5 years ago
- Library for incremental computations depending only on Core_kernel☆48Updated 6 years ago
- Property fuzzing for OCaml☆191Updated 2 years ago