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:
- Jane Street Capital's asynchronous execution library☆220Updated 2 weeks ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆235Updated 2 weeks ago
- Binary protocol generator☆81Updated 2 weeks ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆36Updated 2 weeks ago
- Purely functional SSH library in ocaml.☆103Updated 2 months ago
- A web server written in Coq.☆89Updated 9 years ago
- OCaml plus Jane Street extensions☆74Updated last year
- OCaml code generator plugin for the Cap'n Proto serialization framework☆100Updated 2 years ago
- Imandra FIX Engine☆52Updated last month
- Typed Regular Expressions☆173Updated 5 years ago
- Automated S-expression conversion☆161Updated 2 weeks ago
- An implementation of the Noise Protocol, intended to be used as the base for a Wireguard implementation in OCaml.☆28Updated 5 years ago
- Process library and s-expression based shell☆142Updated 3 months ago
- A Hodgepodge of functions for living in the OCaml ecosystem☆62Updated 5 years ago
- A tutorial on Incremental, originally for CUFP 2017☆45Updated 7 years ago
- Cram like framework for OCaml☆169Updated 2 weeks ago
- Library for incremental computations depending only on Core_kernel☆48Updated 7 years ago
- OCaml interpreter☆102Updated 5 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 9 months ago
- ☆60Updated 6 years ago
- Noether programming language☆127Updated 8 years ago
- Build system☆90Updated 6 years ago
- Ocaml-solidity provides a Solidity parser and typechecker☆33Updated last year
- SMTP client and server☆47Updated 2 weeks ago
- Some simple exercises for getting up and running with OCaml, Dune, Core and Async☆16Updated 7 years ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated 2 weeks ago
- A git-blogging unikernel written using MirageOS☆121Updated last year
- Pure OCaml Git format and protocol☆366Updated 3 months ago
- Topological sort algorithm☆13Updated 3 months ago
- Monadic let-bindings☆121Updated 2 weeks ago