A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

Completely free for open source repositories.

Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.

OCaml good first issues

38 open OCaml issues currently match the default 10+ star filter. Scored difficulty: 5,947 at 1/5, 8,791 at 2/5, 12,710 at 3/5, 12,148 at 4/5, 859 at 5/5. This hub uses the same feed as the homepage, limited to repositories whose GitHub language is OCaml.

All languages · Browse projects · How to find good first issues

Active filters:Language: OCaml • Stars: 10+ Stars
Filters trigger API requests for better performance

Showing 30 of 38 opportunities to contribute from the last 25 days

AI Summary: This issue proposes a performance optimization by detecting and replacing sequential calls to related Stan math functions with their combined, more efficient counterparts. The goal is to eliminate redundant computations when functions like `qr_Q` and `qr_R` are called consecutively, by instead using the single `qr` function. A warning mechanism is also suggested for models that continue to use the older, separate function calls.

Complexity:3/5
help wantedfeatureperformanceoptimization

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

OCaml

AI Summary: The issue proposes to refine exception handling for `Miou_unix.connect`. The current documentation states it only raises `Invalid_argument _`, but the reporter suspects other exceptions might be thrown, necessitating a more precise catch mechanism.

Complexity:2/5
good first issue

Mirror of https://git.robur.coop/robur/builder-web/

OCaml

AI Summary: This issue requests the ability to configure the InfluxDB port, as it is currently hardcoded. This would involve making the port a configurable parameter rather than a fixed value within the application.

Complexity:2/5
good first issue

Mirror of https://git.robur.coop/robur/builder-web/

OCaml

AI Summary: This issue proposes adding support for using hostnames instead of only IP addresses when configuring InfluxDB connections. This would improve flexibility and usability by allowing users to leverage DNS for managing their InfluxDB instances.

Complexity:2/5
good first issue

Mirror of https://git.robur.coop/robur/builder-web/

OCaml

AI Summary: This issue proposes the deletion of an unreferenced and outdated scratch module `src/test.ml`. The module is not used, its name is misleading, and it unnecessarily contributes to the build process. The fix involves removing the file and updating the build configuration.

Complexity:1/5
good first issue

AI Summary: The README file for the project is currently a minimal stub and lacks essential information for new users and contributors. This issue proposes expanding the README to include a project description, a quickstart guide for building and testing, details on the development workflow and test locations, and potentially a CONTRIBUTING.md file.

Complexity:2/5
documentationgood first issue

AI Summary: This issue identifies approximately 500 instances of bare `with _ ->` exception handlers in the codebase, which can hide critical errors and make debugging difficult. The proposed solution involves an incremental approach: disallowing new bare handlers, routing 'best effort' exceptions through logging, and gradually refactoring existing offenders, particularly in frequently modified files.

Complexity:3/5
help wanted

AI Summary: The repository has lost its automated testing CI on GitHub after a recent commit removed the test workflow. This means that build and test regressions can go unnoticed on the master branch. The issue proposes restoring a test workflow, potentially a simplified version of the previous one, to act as a fast gate for changes, while also suggesting updates to deprecated GitHub Actions versions in the existing documentation workflow.

Complexity:2/5
enhancementhelp wanted
buggood first issueLean

A verification toolchain for Rust programs

OCaml
#compiler#coq#deductive-reasoning#formal-methods#formal-verification#fstar#hol4#lean#ocaml#program-verification#proofs#rust#rust-lang
good first issue

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

OCaml
#intel#introspection#performance-tools#profile#tracing#visualizer#x86

AI Summary: Users are reporting that formatting dune files on save, typically handled by editor extensions, is failing when Dune's build is running in watch mode. This is suspected to be a regression introduced around Dune version 3.21, likely due to conflicts with build locks.

Complexity:3/5
good first issuerpc

A composable build system for OCaml.

OCaml
#build#dune#jbuilder#ocaml#opam

AI Summary: The `sem.malloc.fail` option in memory leak analysis is causing a reduction in precision, particularly when `free` is called on pointers that might be NULL. This is because `free(NULL)` is a no-op and should not affect leak detection, but it appears to be causing discrepancies in the analysis results. This issue impacts a significant number of tasks within the sv-benchmarks suite.

Complexity:3/5
sv-compprecisiongood first issue

Static analysis framework for C

OCaml
#abstract-interpretation#c#ocaml#program-analysis#race-conditions#race-detection#software-verification#static-analysis#static-code-analysis

AI Summary: This issue reports that enabling `sem.malloc.fail` in a benchmarking environment causes unexpected behavior in tasks that utilize `alloca`. The problem arises because `alloca` is documented to never return NULL, implying a potential conflict with the simulated malloc failure.

Complexity:3/5
sv-compprecisiongood first issue

Static analysis framework for C

OCaml
#abstract-interpretation#c#ocaml#program-analysis#race-conditions#race-detection#software-verification#static-analysis#static-code-analysis

AI Summary: This issue is a discussion about the ideal error handling strategy for the 'wyzer' programming language. The author suggests deviating from Rust's approach to create a unique system that aligns with wyzer's core ideologies, aiming for a more enjoyable developer experience. It's labeled as an enhancement and a good first issue.

Complexity:3/5
enhancementgood first issue

The Wyzer Programming Language

OCaml
#compiler#language#wyzer
testingsetupgood first issue

Static analysis framework for C

OCaml
#abstract-interpretation#c#ocaml#program-analysis#race-conditions#race-detection#software-verification#static-analysis#static-code-analysis

Also browsing: Python , TypeScript , JavaScript