Refolk
GuidesStart a free search

Top OCaml Compilers repositories on GitHub

Front-ends, back-ends, and language toolchains. Filtered to projects whose primary language is OCaml.

Ranked by stars across 32 OCaml repositories tagged compiler. Refreshed daily.

  1. 1
    rescript-lang/rescript★ 7,459 · ⑂ 485

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

    • compiler
    • javascript
    • altjs
    • rescript
  2. 2
    ocaml/ocaml★ 6,566 · ⑂ 1,410

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

    • ocaml
    • compiler
    • functional-language
  3. 3
    austral/austral★ 1,578 · ⑂ 61

    Systems language with linear types and capability-based security.

    • linear-types
    • compiler
    • capabilities
  4. 4
    ocsigen/js_of_ocaml★ 1,132 · ⑂ 203

    Compiler from OCaml to Javascript.

    • javascript
    • ocaml
    • compiler
    • ocsigen
    • jsoo
  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
    leostera/caramel★ 1,104 · ⑂ 25

    :candy: a functional language for building type-safe, scalable, and maintainable applications

    • ocaml
    • erlang
    • compiler
    • caramel
    • elixir
    • functional-language
  7. 6
    AeneasVerif/aeneas★ 971 · ⑂ 107

    A verification toolchain for Rust programs

    • compiler
    • coq
    • deductive-reasoning
    • formal-methods
    • formal-verification
    • fstar
  8. 7
    artagnon/rhine-ml★ 633 · ⑂ 24

    🏞 an OCaml compiler for an untyped lisp

    • programming-language
    • ocaml
    • llvm
    • compiler
  9. 8
    vult-dsp/vult★ 544 · ⑂ 30

    Vult is a transcompiler well suited to write high-performance DSP code

    • ocaml
    • compiler
    • dsp
    • synthesizer
    • vult
    • microcontroller
  10. 9
    hirrolot/mazeppa★ 477 · ⑂ 11

    A modern supercompiler for call-by-value functional languages

    • compiler
    • functional
    • functional-programming
    • language
    • optimization
    • performance
  11. 10
    formal-land/rocq-of-ocaml★ 275 · ⑂ 22

    Formal verification for OCaml, with Rocq

    • ocaml
    • compiler
    • formal-verification
    • rocq
  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
    Wyzer-Lang/wyzer★ 249 · ⑂ 9

    The Wyzer Programming Language

    • compiler
    • language
    • wyzer
  14. 12
    nlsandler/nqcc2★ 249 · ⑂ 34

    Reference implementation for Writing a C Compiler

    • c
    • compiler
    • ocaml
    • reference-implementation
  15. 13
    darklang/philip2★ 209 · ⑂ 5

    An Elm to OCaml compiler

    • elm
    • ocaml
    • compiler
    • functional
    • frontend
    • elm-architecture
  16. 14
    mransan/ocaml-protoc★ 195 · ⑂ 34

    A Protobuf Compiler for OCaml

    • ocaml
    • protobuf
    • serialization
    • protocol
    • compiler
  17. 15
    nanocaml/nanocaml★ 147 · ⑂ 7

    Nanopass for OCaml

    • nanopass-framework
    • ocaml
    • compiler
    • compiler-design
    • framework
    • ppx
  18. 16
    Alex23087/Perk★ 142 · ⑂ 11

    Modern low level programming language designed for kernel development

    • compiler
    • lambda-functions
    • low-level
    • programming-language
  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
    kit-ty-kate/labrys★ 114 · ⑂ 3

    A toy language based on LLVM that implements the System Fω type-system

    • llvm
    • ocaml
    • programming-language
    • compiler
    • language
    • type-system
  21. 18
    noti0na1/socc★ 97 · ⑂ 8

    Simple C Compiler in OCaml

    • c
    • ocaml
    • ocamllex
    • menhir
    • compiler
    • x64
  22. 19
    Ekdohibs/joujou★ 93 · ⑂ 5

    A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

    • functional-programming
    • algebraic-effects
    • type-inference
    • continuations
    • handlers
    • compiler
Start a free search·500 free credits, no card

Find OCaml engineers shipping Compilers

The list above ranks the most-starred public OCaml repositories tagged with the Compilers topic, drawn from the public GitHub graph. Across 32 matching repositories, the contributors are a tight cluster of engineers with both OCaml chops and real Compilers experience.

That overlap is rare. Most OCaml engineers haven’t shipped Compilers, and most Compilers maintainers don’t write OCaml. The people on this list’s contributor graph are the ones who do both.

Refolk turns this list into a search. Ask for “OCaml Compilers maintainers hiring” or “OCaml engineers shipping Compilers in 2025” and Refolk returns a ranked shortlist with the commits, profiles, and projects behind each name.

How this list is built

Refolk searched GitHub for public OCaml repositories tagged with the Compilers topic, ranked them by stargazer count, and kept those with at least 25 stars. The list refreshes once a day.

Last refreshed: Sun, 20 Sep 2026 05:34:28 GMT

Search this list

Need a more specific search?

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

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

Related lists

See all repository lists.

Or zoom out

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 05:34:28 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