Refolk
GuidesStart a free search

Top OCaml repositories on GitHub

Functional language behind compilers, formal methods, and quantitative finance.

Ranked by stars across 447 OCaml repositories on GitHub. Refreshed daily.

  1. 1
    facebook/infer★ 15,706 · ⑂ 2,101

    A static analyzer for Java, C, C++, and Objective-C

    • static-analysis
    • static-code-analysis
    • code-quality
    • java
    • c
    • cpp
  2. 2
    reasonml/reason★ 10,322 · ⑂ 438

    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

    • ocaml
    • javascript
    • reasonml
    • reason
    • programming-language
  3. 3
    rescript-lang/rescript★ 7,459 · ⑂ 485

    ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

    • compiler
    • javascript
    • altjs
    • rescript
  4. 4
    facebook/pyre-check★ 7,172 · ⑂ 452

    Performant type-checking for python.

    • python
    • typechecker
    • type-check
    • static-analysis
    • ocaml
    • code-quality
  5. Live search

    Find the people behind these repos

    Stars rank the projects. I can rank the engineers - maintainers, top contributors, and the people they work with. Fire one of these to see how it works.

    500 free credits on sign-up, no card needed.

  6. 5
    ocaml/ocaml★ 6,566 · ⑂ 1,410

    The core OCaml system: compilers, runtime system, base libraries

    • ocaml
    • compiler
    • functional-language
  7. 6
    janestreet/magic-trace★ 6,273 · ⑂ 209

    magic-trace collects and displays high-resolution traces of what a process is doing

    • intel
    • x86
    • visualizer
    • tracing
    • profile
    • performance-tools
  8. 7
    astrada/google-drive-ocamlfuse★ 5,960 · ⑂ 367

    FUSE filesystem over Google Drive

    • google-drive
    • ocaml
    • fuse
    • filesystem
  9. 8
    rocq-prover/rocq★ 5,580 · ⑂ 764

    The Rocq Prover is an interactive theorem prover, or proof assistant. 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.

    • proof-assistant
    • coq
    • theorem-proving
    • dependent-types
  10. 9
    bcpierce00/unison★ 5,486 · ⑂ 273

    Unison file synchronizer

  11. 10
    batsh-dev-team/Batsh★ 4,352 · ⑂ 167

    A language that compiles to Bash and Windows Batch

  12. Live search

    Who is hiring in this space?

    I read hiring signals across LinkedIn, GitHub, and the open web - so a topic list becomes a warm outreach list. Try one live.

    500 free credits on sign-up, no card needed.

  13. 11
    opengrep/opengrep★ 3,092 · ⑂ 265

    🔎 Static code analysis engine to find security issues in code.

  14. 12
    mirage/mirage★ 2,992 · ⑂ 276

    MirageOS is a library operating system that constructs unikernels

    • mirageos
    • unikernel
    • xen
    • kvm
    • ocaml
    • opam
  15. 13
    comby-tools/comby★ 2,675 · ⑂ 74

    A code rewrite tool for structural search and replace that supports ~every language.

    • program-transformation
    • search-and-replace
    • linting
    • refactoring
    • syntax-transformation
    • parsing
  16. 14
    northwesternfintech/2027QuantInternships★ 2,505 · ⑂ 153

    Public quant internship repository, maintained by NUFT but available for everyone.

  17. 15
    facebookarchive/pfff★ 2,433 · ⑂ 203

    Tools for code analysis, visualizations, or style-preserving source transformation.

  18. 16
    CatalaLang/catala★ 2,390 · ⑂ 109

    Programming language for literate programming law specification

    • programming-language
    • legislative-texts
  19. Live search

    Turn any brief into a list like this

    I run natural-language searches across GitHub, LinkedIn, and the open web. Describe who you want and I'll build the shortlist.

    500 free credits on sign-up, no card needed.

  20. 17
    fastpack/fastpack★ 2,257 · ⑂ 39

    Pack JS code fast & easy

    • javascript
    • bundler
  21. 18
    BinaryAnalysisPlatform/bap★ 2,256 · ⑂ 285

    Binary Analysis Platform

    • binary-analysis
    • reverse-engineering
    • program-analysis
    • static-analysis
    • dynamic-analysis
    • program-verification
  22. 19
    MinaProtocol/mina★ 2,121 · ⑂ 585

    Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

    • cryptocurrency
    • blockchain
    • ocaml
    • zk-snarks
    • mina
Start a free search·500 free credits, no card

Find OCaml engineers and maintainers

The list above ranks the most-starred public OCaml repositories, drawn from the public GitHub graph. Across 447 OCaml repositories in the public graph, the maintainers, top contributors, and recurring committers are a powerful signal for where OCaml expertise lives.

Behind every popular OCaml project is a small group of people who actually shipped it. They’re the OCaml engineers, library authors, and infrastructure builders worth knowing - whether you’re hiring, partnering, or doing technical research.

Refolk turns this list into a search. Ask for “OCaml maintainers hiring”, “contributors to OCaml repos based in Europe”, or “companies whose engineers ship OCaml” and Refolk returns a ranked shortlist with the commits, repos, and profiles that earned each person a spot.

How this list is built

Refolk searched GitHub for public repositories whose primary language is OCaml, ranked them by stargazer count, and kept those with at least 100 stars. The list refreshes once a day.

Last refreshed: Sun, 20 Sep 2026 02:21:42 GMT

Search this list

Need a list like this for any search?

Refolk runs natural-language searches across GitHub, LinkedIn, and the open web. Try one of these to see how it works:

500 free credits on sign-up, no card needed.

Top repositories in other languages

See all language lists.

Popular OCaml sub-categories

Common questions

How are these repositories ranked?

By stars, with forks and recent activity as tiebreakers, read from the public GitHub API. The methodology section above has the details.

How fresh is the data?

The ranking re-renders at least daily. Last refreshed: Sun, 20 Sep 2026 02:21:42 GMT.

Can I find the maintainers and contributors behind these repos?

Yes. Stars rank the projects; I can rank the engineers - maintainers, top contributors, and the people they work with. You start with 500 free credits, no card required.

Can I use this list for hiring?

That's the point. I read hiring signals across GitHub, LinkedIn, and the open web, so a repo list turns into a shortlist of engineers worth talking to.

Try it on the search you came here for

Stop building boolean strings. Just describe the person.

Type one sentence. I plan the search, read GitHub, public LinkedIn and Crunchbase records, and the open web as it is right now, and hand back a ranked list with the reason next to every name.

  1. 01Describe them

    One plain sentence. Role, city, stack, stage, whatever matters to you.

  2. 02I read the web live

    GitHub, public LinkedIn and Crunchbase records, the open web. Not a database that went stale last quarter.

  3. 03You read the shortlist

    Ranked, with the reasoning under every name. Open a profile, ask a follow-up, narrow it down.

  • No boolean, no filters, no seat to buy. One box.
  • Read at search time, so a profile updated yesterday counts today.
  • Every step visible as it runs, every name with its reason.

500 free credits on sign-up. No card, no demo call. See real searches.

Keep exploring