janestreet / ironLinks
Jane Street code review system
☆178Updated 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☆227Updated 3 weeks ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆243Updated 3 weeks ago
- Purely functional SSH library in ocaml.☆104Updated 5 months ago
- Binary protocol generator☆87Updated 3 weeks ago
- ☆102Updated 3 years ago
- Process library and s-expression based shell☆145Updated 3 weeks ago
- Typed Regular Expressions☆181Updated this week
- OCaml interpreter☆102Updated 6 years ago
- A web server written in Coq.☆89Updated 9 years ago
- A tutorial on Incremental, originally for CUFP 2017☆45Updated 8 years ago
- OCaml code generator plugin for the Cap'n Proto serialization framework☆103Updated 2 years ago
- Pure OCaml Git format and protocol☆368Updated 6 months ago
- A Protobuf Compiler for OCaml☆185Updated 3 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
- Monadic let-bindings☆125Updated 3 weeks ago
- Jane Street's standard library overlay (kernel)☆219Updated 3 weeks ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆37Updated 2 weeks ago
- Jane Street Capital's asynchronous execution library (core)☆57Updated 3 weeks ago
- Noether programming language☆129Updated 8 years ago
- A git-blogging unikernel written using MirageOS☆121Updated 2 years ago
- Cap'n Proto RPC implementation☆110Updated 10 months ago
- Websocket library for OCaml☆166Updated 5 months ago
- OCaml plus Jane Street extensions☆73Updated last year
- Automated S-expression conversion☆172Updated 3 weeks ago
- A Hodgepodge of functions for living in the OCaml ecosystem☆63Updated 6 years ago
- ☆60Updated 6 years ago
- Cram like framework for OCaml☆181Updated 3 weeks ago
- OCaml extended with modular implicits☆105Updated 7 years ago
- Various signed and unsigned integers for OCaml☆85Updated 3 years ago
- Higher-kinded programming in OCaml☆188Updated 2 years ago