OCaml Trending

semgrep /

semgrep

#4

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

opengrep /

opengrep

#5

🔎 Static code analysis engine to find security issues in code.

janestreet /

bonsai

#1

A library for building dynamic webapps, using Js_of_ocaml

bcpierce00 /

unison

#6

Unison file synchronizer

ocaml /

ocaml

#3

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

janestreet /

magic-trace

#2

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

janestreet /

bonsai

#1

A library for building dynamic webapps, using Js_of_ocaml

semgrep /

semgrep

#5

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

janestreet /

magic-trace

#6

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

opengrep /

opengrep

#3

🔎 Static code analysis engine to find security issues in code.

facebook /

infer

#7

A static analyzer for Java, C, C++, and Objective-C

AeneasVerif /

aeneas

#4

A verification toolchain for Rust programs

bcpierce00 /

unison

#2

Unison file synchronizer

opengrep /

opengrep

#2

🔎 Static code analysis engine to find security issues in code.

janestreet /

magic-trace

#5

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

ocaml /

ocaml

#4

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

facebook /

infer

#3

A static analyzer for Java, C, C++, and Objective-C

rocq-prover /

rocq

#1

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 /

semgrep

#1

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

opengrep /

opengrep

#3

🔎 Static code analysis engine to find security issues in code.

facebook /

infer

#5

A static analyzer for Java, C, C++, and Objective-C

ocaml /

ocaml

#2

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

AeneasVerif /

aeneas

#4

A verification toolchain for Rust programs

semgrep /

semgrep

#4

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

opengrep /

opengrep

#6

🔎 Static code analysis engine to find security issues in code.

AeneasVerif /

aeneas

#2

A verification toolchain for Rust programs

ocaml /

ocaml

#5

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

bcpierce00 /

unison

#3

Unison file synchronizer

MinaProtocol /

mina

#1

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

bcpierce00 /

unison

#3

Unison file synchronizer

AeneasVerif /

aeneas

#2

A verification toolchain for Rust programs

ocaml /

ocaml

#1

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

semgrep /

semgrep

#1

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

ocaml /

ocaml

#2

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