Back to Explorer
Beginner Friendly Open-Source Ocaml

Good First Issues in Ocaml

Explore curated starter issues in high-scoring Ocaml repositories. Every listed issue belongs to a welcoming repository scored by C-Rankâ„¢ on PR merge rates, review responsiveness, and first-timer acceptance.

Updated: Mon, 31 Aug 2026 UTC (Live GitHub Sync)
Real-Time Radar

Arm Issue Sniper for fresh Ocaml beginner issues

Beginner issues in welcoming S/A-Tier repositories get snatched within 15 minutes. Receive instant alerts on Discord, Telegram, or Email the minute a maintainer opens a new task.

Live Good First Issues (0)

Real-Time Open GitHub Issues
No cash-bounty issues currently open for Ocaml. Check back soon!

Top Ocaml Repositories with Beginner Issues (17)

Updated Daily via GitHub GraphQL
ocaml
merlin
ocaml/merlin
A•Welcoming
1.7k·OCOCaml

Context sensitive completion for OCaml in Vim and Emacs

#atom#emacs#ocaml
77%
Merge Rate
2h
Review Time
80%
1st-Timers
2 GFI
Scorecard
rocq-prover
vsrocq
rocq-prover/vsrocq
A•Welcoming
460·OCOCaml

Visual Studio Code extension for Rocq

#coq#editor#rocq
78%
Merge Rate
4h
Review Time
67%
1st-Timers
1 GFI
Scorecard
AeneasVerif
aeneas
AeneasVerif/aeneas
A•Welcoming
921·OCOCaml

A verification toolchain for Rust programs

#compiler#coq#deductive-reasoning
72%
Merge Rate
18h
Review Time
63%
1st-Timers
2 GFI
Scorecard
Wyzer-Lang
wyzer
Wyzer-Lang/wyzer
B•Solid
244·OCOCaml

The Wyzer Programming Language

#compiler#language#wyzer
75%
Merge Rate
1h
Review Time
100%
1st-Timers
1 GFI
Scorecard
stan-dev
stanc3
stan-dev/stanc3
A•Welcoming
160·OCOCaml

The Stan transpiler (from Stan to C++ and beyond).

86%
Merge Rate
3d
Review Time
25%
1st-Timers
1 GFI
Scorecard
goblint
analyzer
goblint/analyzer
B•Solid
250·OCOCaml

Static analysis framework for C

#abstract-interpretation#c#ocaml
67%
Merge Rate
2d
Review Time
50%
1st-Timers
2 GFI
Scorecard
multikernel
kernelscript
multikernel/kernelscript
B•Solid
502·OCOCaml

KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization

#ebpf#linux-kernel#multikernel
100%
Merge Rate
17d
Review Time
100%
1st-Timers
1 GFI
Scorecard
ocaml-gospel
gospel
ocaml-gospel/gospel
B•Solid
162·OCOCaml

A tool-agnostic formal specification language for OCaml.

75%
Merge Rate
9h
Review Time
100%
1st-Timers
1 GFI
Scorecard
ocaml-batteries-team
batteries-included
ocaml-batteries-team/batteries-included
B•Solid
525·OCOCaml

Batteries Included project

60%
Merge Rate
<1h
Review Time
50%
1st-Timers
1 GFI
Scorecard
ocaml
ocaml
ocaml/ocaml
B•Solid
6.5k·OCOCaml

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

#compiler#functional-language#ocaml
63%
Merge Rate
3d
Review Time
46%
1st-Timers
1 GFI
Scorecard
iec-checker
iec-checker
iec-checker/iec-checker
B•Solid
102·OCOCaml

Static analysis of IEC 61131-3 programs

#ics#iec61131-3#industrial-automation
78%
Merge Rate
-
Review Time
100%
1st-Timers
1 GFI
Scorecard
davesnx
styled-ppx
davesnx/styled-ppx
B•Solid
413·OCOCaml

styled components for Reason/OCaml with type-safe CSS and static extraction

#css#melange#ocaml
43%
Merge Rate
1d
Review Time
0%
1st-Timers
1 GFI
Scorecard
gwaithimirdain
narya
gwaithimirdain/narya
C•Moderate
299·OCOCaml

A proof assistant for higher-dimensional type theory

-
Merge Rate
-
Review Time
0%
1st-Timers
2 GFI
Scorecard
ocaml-ppx
ppxlib
ocaml-ppx/ppxlib
C•Moderate
297·OCOCaml

Base library and tools for ppx rewriters

71%
Merge Rate
10d
Review Time
50%
1st-Timers
1 GFI
Scorecard
semgrep
semgrep
semgrep/semgrep
D•Risky
16.4k·OCOCaml

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

#c#go#java
-
Merge Rate
3d
Review Time
0%
1st-Timers
1 GFI
Scorecard
ocaml-multicore
picos
ocaml-multicore/picos
D•Risky
150·OCOCaml

Interoperable effects based concurrency

#cancelation#concurrency#effects
-
Merge Rate
-
Review Time
0%
1st-Timers
1 GFI
Scorecard
rescript-labs
decco
rescript-labs/decco
D•Risky
226·OCOCaml

Bucklescript PPX which generates JSON (de)serializers for user-defined types

-
Merge Rate
-
Review Time
0%
1st-Timers
1 GFI
Scorecard

How to make your first Ocaml open-source pull request

Finding approachable Good First Issues in Ocaml allows you to build real-world software engineering experience. Instead of submitting PRs to abandoned repositories, GetMerged verifies maintainer review speeds and first-timer acceptance rates before you write a single line of code.

Select any issue above to claim it directly on GitHub, or click a repository to inspect full maintainer review turnaround metrics and triage guidance!

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.