Welcoming Repositories Index Ocaml Ecosystem
Top Welcoming Open-Source Ocaml Repositories
Top welcoming Ocaml repositories. Scored by real 90-day external PR merge rates, maintainer review turnaround speed, and first-time contributor success.
Updated daily • Sun, 30 Aug 2026 UTC
Tracked Repos
451
>100 stars verified
Avg Merge Rate
84%
90-day external PRs
Open GFIs
9
Beginner friendly issues
Welcoming Tier
38
S & A Tier maintainers
Ranked Ocaml Repositories
Showing top 50 of 451 ranked repositories
| Rank | Repository | Tier | Score | Merge Rate | Good First Issues |
|---|---|---|---|---|---|
| #1 | Jacquard is a small programming language designed for a regime in which most code is written by machine-learning models and reviewed by people. | B•Solid | 74.9 | 100.0% | - |
| #2 | Visual Studio Code extension for OCaml | S•Elite | 74.8 | 88.9% | - |
| #3 | Proof assistant based on the λΠ-calculus modulo rewriting | S•Elite | 73.9 | 79.8% | - |
| #4 | SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml) | B•Solid | 73.2 | 96.5% | - |
| #5 | OCaml Language Server Protocol implementation | S•Elite | 72.1 | 88.1% | - |
| #6 | Effects-based direct-style IO for multicore OCaml | S•Elite | 71.8 | 86.7% | - |
| #7 | savonet/liquidsoap1,719 Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more. | S•Elite | 71.1 | 89.2% | - |
| #8 | The Xapi Project's XenAPI Server | S•Elite | 70.5 | 89.7% | - |
| #9 | Sail architecture definition language | S•Elite | 70.3 | 90.4% | - |
| #10 | ocaml/dune1,909 A composable build system for OCaml. | A•Welcoming | 69.2 | 86.7% | - |
| #11 | Archive for all Rocq and Coq-related opam packages organized in various repositories | A•Welcoming | 67.6 | 82.8% | - |
| #12 | ocaml/merlin1,700 Context sensitive completion for OCaml in Vim and Emacs | A•Welcoming | 66.5 | 76.6% | 2 |
| #13 | A simple scheduler for OCaml 5 | B•Solid | 66.4 | 95.2% | - |
| #14 | Visual Studio Code extension for Rocq | A•Welcoming | 65.7 | 77.8% | 1 |
| #15 | Scaling Reasoning for the Age of AI | A•Welcoming | 65.2 | 84.7% | - |
| #16 | A verification toolchain for Rust programs | A•Welcoming | 64.9 | 72.2% | 2 |
| #17 | An engine for displaying slips, the next-gen version of slides | A•Welcoming | 64.8 | 90.9% | - |
| #18 | Pure OCaml implementation of Zlib. | B•Solid | 64.8 | 90.0% | - |
| #19 | opengrep/opengrep2,976 🔎 Static code analysis engine to find security issues in code. | A•Welcoming | 64.0 | 85.3% | - |
| #20 | Multi-engine SMT-based automatic model checker for safety properties of Lustre programs | A•Welcoming | 63.1 | 87.8% | - |
| #21 | Albatross: orchestrate and manage MirageOS unikernels with Solo5 | A•Welcoming | 63.0 | 91.7% | - |
| #22 | A static parser for POSIX Shell | B•Solid | 62.5 | 100.0% | - |
| #23 | Rocq plugin embedding Elpi | A•Welcoming | 62.4 | 73.8% | - |
| #24 | A Simple Profiling Library for OCaml | A•Welcoming | 61.9 | 100.0% | - |
| #25 | bcpierce00/unison5,449 Unison file synchronizer | B•Solid | 61.7 | 100.0% | - |
| #26 | Multi-tier framework for programming web and mobile applications in OCaml. | A•Welcoming | 61.3 | 80.6% | - |
| #27 | Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests. | A•Welcoming | 61.0 | 68.6% | - |
| #28 | EasyCrypt: Computer-Aided Cryptographic Proofs | A•Welcoming | 60.9 | 79.5% | - |
| #29 | Virt-v2v converts guests from foreign hypervisors to run on KVM | A•Welcoming | 60.5 | 81.1% | - |
| #30 | The Wyzer Programming Language | B•Solid | 60.4 | 75.0% | 1 |
| #31 | GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre. | A•Welcoming | 60.2 | 86.3% | - |
| #32 | Pure OCaml regular expressions, with support for Perl and POSIX-style strings | A•Welcoming | 59.9 | 73.7% | - |
| #33 | OCamlPro/owi323 Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig | A•Welcoming | 59.6 | 83.7% | - |
| #34 | Execute code blocks inside your documentation | A•Welcoming | 59.4 | 83.3% | - |
| #35 | OCaml implementation of the DNS protocol | A•Welcoming | 59.4 | 75.0% | - |
| #36 | The Herd toolsuite to deal with .cat memory models (version 7.xx) | A•Welcoming | 59.3 | 71.1% | - |
| #37 | OCaml bindings for raylib and raygui | B•Solid | 58.7 | 83.3% | - |
| #38 | Terraform without the state file bottleneck | A•Welcoming | 58.6 | 68.8% | - |
| #39 | CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory | B•Solid | 58.4 | 94.1% | - |
| #40 | A CI for OCaml projects | B•Solid | 58.4 | 100.0% | - |
| #41 | Simple high-level language for writing Internet Computer canisters | A•Welcoming | 58.4 | 73.6% | - |
| #42 | OCaml - Oxidized! | A•Welcoming | 58.1 | 64.5% | - |
| #43 | mirage/mirage2,980 MirageOS is a library operating system that constructs unikernels | A•Welcoming | 57.8 | 68.8% | - |
| #44 | The Stan transpiler (from Stan to C++ and beyond). | A•Welcoming | 57.6 | 86.0% | 1 |
| #45 | OCamlPro public development repository for Alt-Ergo | A•Welcoming | 57.5 | 76.9% | - |
| #46 | TLS in pure OCaml | A•Welcoming | 57.1 | 88.9% | - |
| #47 | facebook/infer15,694 A static analyzer for Java, C, C++, and Objective-C | A•Welcoming | 57.1 | 48.9% | - |
| #48 | An experimental language exploring computation and meaning through term unification, with logic-agnostic types. | B•Solid | 56.9 | 96.4% | - |
| #49 | Static analysis framework for C | A•Welcoming | 56.8 | 67.3% | 2 |
| #50 | Cap'n Proto RPC implementation | B•Solid | 55.8 | 100.0% | - |
How to Get Your Ocaml PR Merged
1
Check C-Rankâ„¢ First: Pick projects with S or A tiers to avoid maintainer ghosts and slow review cycles.
2
Run Local Verification: Ensure test suites and formatting linters pass before opening a pull request.
3
Submit in Maintainer Windows: Check the repository report card to submit when maintainers are most active.
Get this week's top welcoming repos + fresh Good First Issues for Ocaml
Free weekly email, scoped to Ocaml. No account needed - confirm once and unsubscribe anytime.
Frequently Asked Questions: Ocaml Open Source
What is the most welcoming Ocaml open-source repository?
The highest-ranked Ocaml repository on GetMerged is currently jbwinters/jacquard-lang, with a C-Rank score of 74.9/100 and a 100.0% PR merge rate.
How can I find good first issues in Ocaml?
You can browse verified beginner-friendly issues in Ocaml by visiting our curated Good First Issues directory at getmerged.abhishekco.de/good-first-issue/ocaml.
What makes a Ocaml repository ‘Super Welcoming’ on GetMerged?
A ‘Super Welcoming’ (S-Tier) Ocaml repository demonstrates an external PR merge rate above 80%, a median first response time within 24 to 48 hours, active review feedback, and clear onboarding documentation.