1.reasonml / reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
+7 stars
from 10,329 · score 2.08
Trending repositories
Ranked by Attention Score: stars gained over the last 7 complete days
14 repositories by Attention Score · Oct 27, 2026 – Nov 2, 2026 (UTC)
2.stategraph / stategraph
Terraform without the state file bottleneck
+7 stars
from 1,315 · score 2.08
3.meta / pyre-checkArchived
Performant type-checking for python.
+4 stars
from 7,177 · score 1.61
4.mirage / mirage
MirageOS is a library operating system that constructs unikernels
+4 stars
from 3,020 · score 1.61
5.ocaml-community / awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
+3 stars
from 3,126 · score 1.39
6.hmemcpy / milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
+2 stars
from 11,703 · score 1.10
7.onivim / oni2
Native, lightweight modal code editor
+1 stars
from 7,841 · score 0.69
8.ocaml / merlin
Context sensitive completion for OCaml in Vim and Emacs
+1 stars
from 1,709 · score 0.69
+1 stars
from 733 · score 0.69
10.geneweb / geneweb
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
+1 stars
from 407 · score 0.69
11.ocaml-multicore / parallel-programming-in-multicore-ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
+1 stars
from 301 · score 0.69
12.formal-land / rocq-of-ocaml
Formal verification for OCaml, with Rocq
+1 stars
from 278 · score 0.69
13.ocaml-community / lambda-term
Terminal manipulation library for OCaml
+1 stars
from 231 · score 0.69
14.rgrinberg / ocaml-mustache
mustache.js logic-less templates in OCaml
+1 stars
from 87 · score 0.69