There are 189 repositories under ocaml topic.
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Cool open source projects written in various languages.
:zap: Native, high-performance, cross-platform desktop apps - built with Reason!
Performant type-checking for python.
The core OCaml system: compilers, runtime system, base libraries
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
A Proof-oriented Programming Language
MirageOS is a library operating system that constructs unikernels
Binary Analysis Platform
Irmin is a distributed database that follows the same design principles as Git
Nodebook - Multi-Lang Web REPL + CLI Code runner
Mirror of the release branches for Tezos, a self-amending cryptographic ledger
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
:candy: a functional language for building type-safe, scalable, and maintainable applications
A statically-typed, functional typesetting system
All Subjects of 42 School
The Felix Programming Language
TEA for Bucklescript
An OCaml library for HTTP clients and servers using Lwt or Async
OCaml promises and concurrent I/O
Faster, simpler and more portable implementation of `jq` in Reason
✨Cross-platform set of tools for building native UIs with Reason/OCaml
Parser combinators built for speed and memory efficiency