Top OCaml repositories on GitHub

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

• static-analysis
• static-code-analysis
• code-quality
• java
• c
• cpp

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

• static-analysis
• static-code-analysis
• java
• go
• sast
• semgrep

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

• ocaml
• javascript
• reasonml
• reason
• programming-language

Performant type-checking for python.

• python
• typechecker
• type-check
• static-analysis
• ocaml
• code-quality

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

• ocaml
• compiler
• functional-language

FUSE filesystem over Google Drive

• google-drive
• ocaml
• fuse
• filesystem

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.

• proof-assistant
• coq
• theorem-proving
• dependent-types

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

• intel
• x86
• visualizer
• tracing
• profile
• performance-tools

Unison file synchronizer

A language that compiles to Bash and Windows Batch

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm
• ocaml
• opam

A code rewrite tool for structural search and replace that supports ~every language.

• program-transformation
• search-and-replace
• linting
• refactoring
• syntax-transformation
• parsing

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

Tools for code analysis, visualizations, or style-preserving source transformation.

Programming language for literate programming law specification

• programming-language
• legislative-texts

Pack JS code fast & easy

• javascript
• bundler

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis
• dynamic-analysis
• program-verification

Public quant internship repository, maintained by NUFT but available for everyone.

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

• cryptocurrency
• blockchain
• ocaml
• zk-snarks
• mina

Irmin is a distributed database that follows the same design principles as Git

• ocaml
• git
• storage
• mirageos
• database
• irmin

A composable build system for OCaml.

• build
• ocaml
• opam
• dune
• jbuilder

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

Tidy, feature-complete Web framework

• ocaml
• web
• framework
• reasonml
• http
• websockets

Context sensitive completion for OCaml in Vim and Emacs

• ocaml
• emacs
• vim
• atom

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.

• liquidsoap
• streaming
• webradio