1.rescript-lang / rescript
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
+148 stars
from 7,328 · score 5.00
Trending repositories
Ranked by Attention Score: stars gained over the last 180 complete days
21 repositories by Attention Score · May 9, 2026 – Nov 4, 2026 (UTC)
2.ocaml-multicore / eio
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
- ocaml
+51 stars
from 686 · score 3.95
3.ocaml / ocaml-lsp
OCaml Language Server Protocol implementation
+33 stars
from 881 · score 3.53
4.ott-lang / ott
The Ott tool for writing definitions of programming languages and calculi
+21 stars
from 408 · score 3.09
+19 stars
from 913 · score 3.00
6.ygrek / mldonkey
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
+15 stars
from 331 · score 2.77
+11 stars
from 357 · score 2.48
8.lukaszcz / coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
- theorem-prover
- verification
- +3 more
+10 stars
from 239 · score 2.40
+9 stars
from 345 · score 2.30
10.ocaml / ocaml-re
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
- ocaml
- dfa
- regular-expression
+8 stars
from 252 · score 2.20
11.inhabitedtype / angstrom
Parser combinators built for speed and memory efficiency
+6 stars
from 701 · score 1.95
12.inhabitedtype / httpaf
A high performance, memory efficient, and scalable web server written in OCaml
- ocaml
- http
+5 stars
from 533 · score 1.79
+5 stars
from 249 · score 1.79
+5 stars
from 227 · score 1.79
15.johnwhitington / camlpdf
OCaml library for reading, writing and modifying PDF files
+5 stars
from 225 · score 1.79
16.ocaml-batteries-team / batteries-included
Batteries Included project
+4 stars
from 520 · score 1.61
+3 stars
from 167 · score 1.39
18.tategakibunko / jingoo
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
+3 stars
from 141 · score 1.39
19.artagnon / rhine-mlArchived
🏞 an OCaml compiler for an untyped lisp
+2 stars
from 631 · score 1.10
20.OCamlPro / drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
+2 stars
from 198 · score 1.10
+1 stars
from 152 · score 0.69