1.rescript-lang / rescript
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
+73 stars
from 7,404 · score 4.30
Trending repositories
Ranked by Attention Score: stars gained over the last 90 complete days
23 repositories by Attention Score · Aug 8, 2026 – Nov 5, 2026 (UTC)
2.ocaml-multicore / eio
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
- ocaml
+23 stars
from 717 · score 3.18
3.ocaml / ocaml-lsp
OCaml Language Server Protocol implementation
+14 stars
from 900 · score 2.71
4.ott-lang / ott
The Ott tool for writing definitions of programming languages and calculi
+12 stars
from 417 · score 2.56
+7 stars
from 925 · score 2.08
6.mirage / ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
- ocaml
- http
- http-client
- lwt
- unix
+7 stars
from 772 · score 2.08
7.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
+6 stars
from 243 · score 1.95
+5 stars
from 363 · score 1.79
9.ygrek / mldonkey
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
+4 stars
from 342 · score 1.61
10.mathiasbourgoin / Sarek
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
- gpgpu
+4 stars
from 146 · score 1.61
11.inhabitedtype / angstrom
Parser combinators built for speed and memory efficiency
+3 stars
from 704 · score 1.39
12.inhabitedtype / httpaf
A high performance, memory efficient, and scalable web server written in OCaml
- ocaml
- http
+3 stars
from 535 · score 1.39
+3 stars
from 401 · score 1.39
14.ocaml / ocaml-re
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
- ocaml
- dfa
- regular-expression
+3 stars
from 257 · score 1.39
15.stevenvar / OMicroB
An OCaml generic virtual machine for microcontrollers
+3 stars
from 154 · score 1.39
+2 stars
from 352 · score 1.10
+2 stars
from 252 · score 1.10
+2 stars
from 230 · score 1.10
19.tategakibunko / jingoo
OCaml template engine almost compatible with jinja2
- ocaml
- jinja2
- template-engine
+2 stars
from 142 · score 1.10
20.ocaml-batteries-team / batteries-included
Batteries Included project
+1 stars
from 523 · score 0.69
21.frenetic-lang / frenetic
The Frenetic Programming Language and Runtime System
+1 stars
from 228 · score 0.69
22.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.
+1 stars
from 199 · score 0.69
+1 stars
from 169 · score 0.69