Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR. Learn more →
Top 23 OCaml Ocaml Projects
-
Project mention: How Jane Street accidentally built a better build system for OCaml | news.ycombinator.com | 2025-01-30
-
CodeRabbit
CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
-
Project mention: Pylyzer – A fast static code analyzer and language server for Python | news.ycombinator.com | 2024-04-11
Did you come across pyre in your search? MIT license and pretty fast.
https://github.com/facebook/pyre-check
-
-
Most recent I remember was in 2011: https://github.com/ocaml/ocaml/issues/5419
-
> I actually wonder how much "overhead" a VM actually has. i.e. a linux kernel that doesn't do anything (say perhaps just boots to an init that mounts proc and every n seconds read in/prints out /proc/meminfo) how much memory would the kernel actually be using?
You don't necessarily need to run a full operating system in your VM. See eg https://mirage.io/
-
-
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security. (by MinaProtocol)
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
I’ve been writing some OCaml code lately and using dune as the build system.
-
-
-
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
To start compiling/running our program we need to install the opam package manager, which also installs the OCaml compiler.
-
-
caramel
:candy: a functional language for building type-safe, scalable, and maintainable applications
There is also:
Purerl - Erlang backend for PureScript, a few folks are using this in production - https://github.com/purerl/purerl
Caramel - Ocaml for Beam, seems dead - https://github.com/leostera/caramel
and more probably dead projects at https://github.com/llaisdy/beam_languages
-
-
> Also, didn't OCaml have weak support for concurrency? Has that changed recently?
OCaml has had Lwt for concurrent IO for long enough that it is now being deprecated in favor of Eio[1]:
https://github.com/ocsigen/lwt
[1] https://github.com/ocaml-multicore/eio
-
-
-
-
Project mention: A reckless introduction to Hindley-Milner type inference (2019) | news.ycombinator.com | 2024-06-25
In the technique I showed, I am using a difflist to enumerate a set of HTTP POST form fields and their expected types. This difflist type is defined in such a way that one of its type parameters gets inferred as a function type which takes the decoded values in the correct order and returns a record containing the decoded form. Eg from Field.[int "id"; string "name"] we get a type parameter int -> string -> 'a, where 'a is the type of the final decoded form.
This is the kind of real-world usage where difflists or heterogeneous lists shine. The same technique is used by this library to define type-safe GraphQL resolvers: https://github.com/andreas/ocaml-graphql-server
-
Project mention: Riot: An actor-model multi-core scheduler for OCaml 5 | news.ycombinator.com | 2024-08-25
-
Project mention: Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml | news.ycombinator.com | 2024-03-20
the actual project (Readme has some code samples): https://github.com/ocaml-multicore/eio
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
OCaml Ocaml discussion
OCaml Ocaml related posts
-
Tsonnet #5 - Pretty-printing JSON
-
Tsonnet #2 - Cram tests to the rescue
-
Hedy: Textual Programming Made Easy
-
ABEND dump #15
-
OCaml 5.3 Released
-
Non-temporal store heuristics on the Apple M2
-
Non-temporal store heuristics on the Apple M2
-
A note from our sponsor - CodeRabbit
coderabbit.ai | 8 Feb 2025
Index
What are some of the best open-source Ocaml projects in OCaml? This list will help you:
# | Project | Stars |
---|---|---|
1 | reason | 10,178 |
2 | pyre-check | 6,912 |
3 | google-drive-ocamlfuse | 5,642 |
4 | ocaml | 5,607 |
5 | mirage | 2,608 |
6 | bap | 2,093 |
7 | mina | 2,021 |
8 | irmin | 1,866 |
9 | dune | 1,688 |
10 | dream | 1,650 |
11 | merlin | 1,599 |
12 | opam | 1,273 |
13 | SATySFi | 1,191 |
14 | caramel | 1,064 |
15 | js_of_ocaml | 979 |
16 | lwt | 730 |
17 | ocaml-cohttp | 720 |
18 | angstrom | 666 |
19 | ocamlformat | 649 |
20 | ocaml-graphql-server | 622 |
21 | riot | 601 |
22 | eioio | 576 |
23 | httpaf | 539 |