OCaml Trending
Trending OCaml repos on GitHub · last 7 days
ocaml
The core OCaml system: compilers, runtime system, base libraries
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
opengrep
🔎 Static code analysis engine to find security issues in code.
rocq
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.
oxcaml
OCaml - Oxidized!
ocaml-tree-sitter-core
OCaml code generator and runtime library for handling typed tree-sitter CSTs
aeneas
A verification toolchain for Rust programs
dune
A composable build system for OCaml.
terrateam
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
unison
Unison file synchronizer
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
opengrep
🔎 Static code analysis engine to find security issues in code.
unison
Unison file synchronizer
magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
dune
A composable build system for OCaml.
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
opengrep
🔎 Static code analysis engine to find security issues in code.
bonsai
A library for building dynamic webapps, using Js_of_ocaml
unison
Unison file synchronizer
ocaml
The core OCaml system: compilers, runtime system, base libraries
magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
bonsai
A library for building dynamic webapps, using Js_of_ocaml
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
opengrep
🔎 Static code analysis engine to find security issues in code.
infer
A static analyzer for Java, C, C++, and Objective-C
aeneas
A verification toolchain for Rust programs
unison
Unison file synchronizer
opengrep
🔎 Static code analysis engine to find security issues in code.
magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
ocaml
The core OCaml system: compilers, runtime system, base libraries
infer
A static analyzer for Java, C, C++, and Objective-C
rocq
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.
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
opengrep
🔎 Static code analysis engine to find security issues in code.
infer
A static analyzer for Java, C, C++, and Objective-C
ocaml
The core OCaml system: compilers, runtime system, base libraries
aeneas
A verification toolchain for Rust programs
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
opengrep
🔎 Static code analysis engine to find security issues in code.
aeneas
A verification toolchain for Rust programs
ocaml
The core OCaml system: compilers, runtime system, base libraries
unison
Unison file synchronizer
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.