Monthly Trending Repositories of OCaml on GitHub Mon, 10 Aug 2026 07:31:37 GMT https://mshibanami.github.io/GitHubTrendingRSS https://github.com/semgrep/semgrep <p>Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.</p><hr> https://github.com/ocaml/ocaml <p>The core OCaml system: compilers, runtime system, base libraries</p><hr> https://github.com/janestreet/bonsai <p>A library for building dynamic webapps, using Js_of_ocaml</p><hr> https://github.com/rocq-prover/rocq <p>The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.</p><hr> https://github.com/ocaml/dune <p>A composable build system for OCaml.</p><hr> https://github.com/savonet/liquidsoap <p>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.</p><hr> https://github.com/opengrep/opengrep <p>🔎 Static code analysis engine to find security issues in code.</p><hr> https://github.com/MinaProtocol/mina <p>Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.</p><hr> https://github.com/AeneasVerif/aeneas <p>A verification toolchain for Rust programs</p><hr> https://github.com/semgrep/ocaml-tree-sitter-core <p>OCaml code generator and runtime library for handling typed tree-sitter CSTs</p><hr> https://github.com/janestreet/magic-trace <p>magic-trace collects and displays high-resolution traces of what a process is doing</p><hr>