Refolk
GuidesStart a free search

Top OCaml repositories on GitHub

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

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

  1. 1
    facebook/infer★ 15,716 · ⑂ 2,099

    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,323 · ⑂ 438

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

    • ocaml
    • javascript
    • reasonml
    • reason
    • programming-language
  3. 3
    facebook/pyre-check★ 7,171 · ⑂ 450

    Performant type-checking for python.

    • python
    • typechecker
    • type-check
    • static-analysis
    • ocaml
    • code-quality
  4. 4
    ocaml/ocaml★ 6,601 · ⑂ 1,404

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

    • ocaml
    • compiler
    • functional-language
  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
    janestreet/magic-trace★ 6,294 · ⑂ 211

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

    • intel
    • x86
    • visualizer
    • tracing
    • profile
    • performance-tools
  7. 6
    astrada/google-drive-ocamlfuse★ 5,969 · ⑂ 366

    FUSE filesystem over Google Drive

    • google-drive
    • ocaml
    • fuse
    • filesystem
  8. 7
    rocq-prover/rocq★ 5,599 · ⑂ 766

    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
  9. 8
    bcpierce00/unison★ 5,525 · ⑂ 276

    Unison file synchronizer

  10. 9
    batsh-dev-team/Batsh★ 4,351 · ⑂ 166

    A language that compiles to Bash and Windows Batch

  11. 10
    opengrep/opengrep★ 3,165 · ⑂ 273

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

  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
    mirage/mirage★ 3,009 · ⑂ 277

    MirageOS is a library operating system that constructs unikernels

    • mirageos
    • unikernel
    • xen
    • kvm
    • ocaml
    • opam
  14. 12
    comby-tools/comby★ 2,680 · ⑂ 75

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

    • program-transformation
    • search-and-replace
    • linting
    • refactoring
    • syntax-transformation
    • parsing
  15. 13
    northwesternfintech/2027QuantInternships★ 2,527 · ⑂ 151

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

  16. 14
    facebookarchive/pfff★ 2,433 · ⑂ 203

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

  17. 15
    CatalaLang/catala★ 2,418 · ⑂ 113

    Programming language for literate programming law specification

    • programming-language
    • legislative-texts
  18. 16
    BinaryAnalysisPlatform/bap★ 2,262 · ⑂ 287

    Binary Analysis Platform

    • binary-analysis
    • reverse-engineering
    • program-analysis
    • static-analysis
    • dynamic-analysis
    • program-verification
  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,259 · ⑂ 39

    Pack JS code fast & easy

    • javascript
    • bundler
  21. 18
    MinaProtocol/mina★ 2,124 · ⑂ 586

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

    • cryptocurrency
    • blockchain
    • ocaml
    • zk-snarks
    • mina
  22. 19
    mirage/irmin★ 1,961 · ⑂ 166

    Irmin is a distributed database that follows the same design principles as Git

    • ocaml
    • git
    • storage
    • mirageos
    • database
    • irmin
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 446 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, 11 Oct 2026 03:11:20 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, 11 Oct 2026 03:11:20 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