janestreet / ironLinks
Jane Street code review system
☆176Updated 5 years ago
Alternatives and similar repositories for iron
Users that are interested in iron are comparing it to the libraries listed below
Sorting:
- Jane Street Capital's asynchronous execution library☆229Updated last month
- Purely functional SSH library in ocaml.☆104Updated 6 months ago
- Binary protocol generator☆87Updated last month
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆244Updated last month
- Pure OCaml Git format and protocol☆369Updated 7 months ago
- Process library and s-expression based shell☆145Updated last month
- OCaml plus Jane Street extensions☆73Updated last year
- A Protobuf Compiler for OCaml☆186Updated last week
- ☆60Updated 6 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated last month
- Imandra FIX Engine☆53Updated 2 months ago
- A web server written in Coq.☆89Updated 9 years ago
- Automated S-expression conversion☆172Updated last month
- OCaml code generator plugin for the Cap'n Proto serialization framework☆103Updated 2 years ago
- Typed Regular Expressions☆181Updated last month
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆37Updated last month
- A tutorial on Incremental, originally for CUFP 2017☆45Updated 8 years ago
- OCaml interpreter☆102Updated 6 years ago
- Jane Street's standard library overlay (kernel)☆219Updated last month
- Micro-benchmarking library for OCaml☆55Updated last month
- ☆102Updated 3 years ago
- Higher-kinded programming in OCaml☆189Updated 2 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated last year
- Cap'n Proto RPC implementation☆110Updated 11 months ago
- OCaml extended with modular implicits☆105Updated 7 years ago
- A git-blogging unikernel written using MirageOS☆122Updated 2 years ago
- Opam repository for the development version of Jane Street packages☆133Updated 2 months ago
- Cram like framework for OCaml☆183Updated last month
- TLS in pure OCaml☆318Updated 3 months ago
- OCaml bindings for D3.js☆75Updated 7 years ago