OCaml Trending
Trending OCaml repos on GitHub · last 7 days
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
slipshow
An engine for displaying slips, the next-gen version of slides
narya
A proof assistant for higher-dimensional type theory
ocaml
The core OCaml system: compilers, runtime system, base libraries
opengrep
🔎 Static code analysis engine to find security issues in code.
infer
A static analyzer for Java, C, C++, and Objective-C
testo
Test framework for OCaml
oxcaml
OCaml - Oxidized!
ocaml-tree-sitter-core
OCaml code generator and runtime library for handling typed tree-sitter CSTs
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
slipshow
An engine for displaying slips, the next-gen version of slides
opengrep
🔎 Static code analysis engine to find security issues in code.
ocaml
The core OCaml system: compilers, runtime system, base libraries
aeneas
A verification toolchain for Rust programs
unison
Unison file synchronizer
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.
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
testo
Test framework for OCaml
ocaml-tree-sitter-core
OCaml code generator and runtime library for handling typed tree-sitter CSTs
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
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.
ocaml
The core OCaml system: compilers, runtime system, base libraries
bonsai
A library for building dynamic webapps, using Js_of_ocaml
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.
ocaml-tree-sitter-core
OCaml code generator and runtime library for handling typed tree-sitter CSTs
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
dune
A composable build system for OCaml.
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
ocaml
The core OCaml system: compilers, runtime system, base libraries
unison
Unison file synchronizer
testo
Test framework for OCaml
ocaml-tree-sitter-core
OCaml code generator and runtime library for handling typed tree-sitter CSTs
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.
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
ocaml
The core OCaml system: compilers, runtime system, base libraries
opengrep
🔎 Static code analysis engine to find security issues in code.
liquidsoap
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.
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
dune
A composable build system for OCaml.
testo
Test framework for OCaml
ocaml-tree-sitter-core
OCaml code generator and runtime library for handling typed tree-sitter CSTs
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
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.
aeneas
A verification toolchain for Rust programs
unison
Unison file synchronizer
opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
merlin
Context sensitive completion for OCaml in Vim and Emacs
ocaml-tree-sitter-core
OCaml code generator and runtime library for handling typed tree-sitter CSTs
testo
Test framework for OCaml
opalang
The Opa Language for Web Application Development
ocaml
The core OCaml system: compilers, runtime system, base libraries
dune
A composable build system for OCaml.
semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
ocaml
The core OCaml system: compilers, runtime system, base libraries
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!
opalang
The Opa Language for Web Application Development
aeneas
A verification toolchain for Rust programs
mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
ocaml-tree-sitter-core
OCaml code generator and runtime library for handling typed tree-sitter CSTs
testo
Test framework for OCaml
dune
A composable build system for OCaml.