OCaml LibHunt

Discover popular and related OCaml open-source projects

125
184
238
Our great sponsors
  • Scout APM - Leading-edge performance monitoring starting at $39/month
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors
Mentions Stars Project Description
4 3,361 Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
2 9,418 Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
2 5,285 The compiler for ReScript.
2 3,313 The core OCaml system: compilers, runtime system, base libraries
1 1,454 Binary Analysis Platform
1 1,080 A tool for structural code search and replace that supports ~every language.
1 963 Connect processes into powerful data pipelines with a simple git-like filesystem interface
1 935 Owl - OCaml Scientific and Engineering Computing @ http://ocaml.xyz
1 840 A statically-typed, functional typesetting system
1 801 Client, backend, and services for Dark: https://darklang.com
1 671 Compiler from OCaml to Javascript.
1 266 A mixture of tooling combined to produce JavaScript from OCaml & Reason
1 73 Simple high-level language for writing Internet Computer canisters
1 58 The fastest NixOS install there is! ๐ŸŽ๏ธ๐Ÿ
1 41 OCaml bindings for raylib and raygui
1 0 An OCaml wrapper to Reddit's API

Popular OCaml Topics

Latest Mentions

Latest mentioned OCaml repos
Stars Project
1,454 bap
58 nixos-up
3,361 coq
3,313 ocaml
5,285 rescript-compiler
801 dark
73 motoko
1,080 comby
0 ocaml-reddit-api
41 raylib-ocaml
9,418 reason
671 js_of_ocaml
266 melange
840 SATySFi
935 owl
963 datakit
18 fmlib
24 OpenTransplant
1,102 dune
58 cuite

Latest Discoveries

Latest discovered OCaml repos
Stars Project
1,454 bap
58 nixos-up
73 motoko
0 ocaml-reddit-api
41 raylib-ocaml
840 SATySFi
963 datakit
139 lablqml
58 cuite
22 repr
19 ocplib-json-typed
24 OpenTransplant
64 eioio
29 ocaml-aeio
292 vult
29 youtube-channel
22 cmsc330spring21
1,080 comby
39 orpie
37 ocaml-esp32