OCaml LibHunt

Discover popular and related OCaml open-source projects
67
69
89
Our great sponsor
  • Scout - Get performance insights in less than 4 minutes
Our great sponsor
Mentions Stars Project Description
5 5,124 The compiler for ReScript.
3 4,062 FUSE filesystem over Google Drive
3 3,167 The core OCaml system: compilers, runtime system, base libraries
2 899 opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
2 36 Compiler for the M language, used to compute the income tax of French taxpayers
1 4,035 A language that compiles to Bash and Windows Batch
1 1,578 MirageOS is a library operating system that constructs unikernels
1 581 Multicore OCaml
1 283 KreMLin is a tool for extracting low-level F* programs to readable C code
1 221 Research prototype tool for modular formal verification of C and Java programs
1 164 Tutorial on Multicore OCaml parallel programming with domainslib
1 120 OCaml-bindings for the PostgreSQL database
1 117 Semantics of Virtual Machine for IELE prototype blockchain
1 103 A Unicode library for OCaml
1 78 Lightweight document
1 17 Testing and benchmarking tool for logic-related programs.
1 6
1 6
1 3 Some small and quick projects of mine.
1 1 OCaml Market Making Game

Popular OCaml Topics

Latest Mentions

Latest mentioned OCaml repos
Stars Project
87 coq-serapi
2 portia
64 opam2nix
12,066 infer
3,167 ocaml
5,124 rescript-compiler
15 ocaml-text
103 Camomile
206 ocaml-webmachine
17 benchpress
680 eff
221 verifast
4,062 google-drive-ocamlfuse
899 opam
5,181 pyre-check
1 OMakeMeAMarket
117 iele-semantics
6 TensorFlock
36 mlang
78 lwd