Skip to content
OpenSrc
The directory

Language

OCaml repos to contribute to

OpenSrc lists 10 OCaml repositories with open issues for new contributors, and 3 of them are first-PR friendly. Between them they have 131 open good first issues and 61 help-wanted issues. The median welcome score is 70/100, and the best-scored right now are ocaml/dune, rocq-prover/rocq and ocaml/ocaml. Most are about Compilers & Languages, Editors & DevTools and Web Frontend.

10 repos by best score

Filter these in the directory

  • ocaml/dune

    A composable build system for OCaml.

    19good first issues+25 help wanted
    • OCaml
    • Stars:1.9K
    • MIT
    • CONTRIBUTING
    • replies in ~9h
    Score91 out of 100 contributor score, very welcomingFirst-PR friendly

  • rocq-prover/rocq

    The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write…

    15good first issues+21 help wanted
    • OCaml
    • Stars:5.6K
    • LGPL-2.1
    • CONTRIBUTING
    • replies in ~4d
    Score87 out of 100 contributor score, very welcoming

  • ocaml/ocaml

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

    8good first issues
    • OCaml
    • Field: Compilers
    • Stars:6.6K
    • CONTRIBUTING
    • replies in ~6h
    Score76 out of 100 contributor score, very welcomingFirst-PR friendly

  • ocsigen/ocsigen-start

    Ocsigen-start: Higher-level library to develop Web and mobile applications with users, (pre)registration…

    20good first issues
    • OCaml
    • Field: Web Frontend
    • Field: Mobile
    • Stars:85
    Score71 out of 100 contributor score, welcoming

  • ocaml/merlin

    Context sensitive completion for OCaml in Vim and Emacs

    4good first issues
    • OCaml
    • Field: Editors
    • Stars:1.7K
    • MIT
    • CONTRIBUTING
    Score70 out of 100 contributor score, welcomingFirst-PR friendly

  • stan-dev/stanc3

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

    7good first issues+13 help wanted
    • OCaml
    • Stars:160
    • BSD-3-Clause
    • replies in ~18m
    Score70 out of 100 contributor score, welcoming

  • goblint/analyzer

    Static analysis framework for C

    35good first issues
    • OCaml
    • Stars:252
    • MIT
    • replies in ~15d
    Score63 out of 100 contributor score, welcoming

  • ocaml-multicore/eio

    Effects-based direct-style IO for multicore OCaml

    4good first issues+2 help wanted
    • OCaml
    • Stars:728
    • replies in ~24h
    Score61 out of 100 contributor score, welcoming

  • OCamlPro/owi

    Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

    12good first issues
    • OCaml
    • Field: Compilers
    • Stars:323
    • AGPL-3.0
    Score54 out of 100 contributor score, some assembly required

  • AeneasVerif/aeneas

    A verification toolchain for Rust programs

    7good first issues
    • OCaml
    • Field: Compilers
    • Stars:996
    • Apache-2.0
    • replies in ~30d
    Score52 out of 100 contributor score, some assembly required