OCaml

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

Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.

An experimental programming language

Modern scientific computing for OCaml

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

A verification toolchain for Rust programs

A proof assistant for higher-dimensional type theory

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

OCaml - Oxidized!

A Rust verification tool

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

Petrol's an OCaml SQL API made to go FAST.

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

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

Unison file synchronizer

A tool-agnostic formal specification language for OCaml.

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.

Programming language for literate programming law specification

A composable build system for OCaml.

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

Tidy, feature-complete Web framework

MirageOS is a library operating system that constructs unikernels

Static website generator based on HTML element tree rewriting

OCaml Language Server Protocol implementation

Programming languages

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

The Rocq Prover bot

Easily build clients and servers on top of a common REST API, automatically derived from OCaml types.

Performant type-checking for python.

Preprocessor / Pretty Printer for OCaml

Proof assistant based on the λΠ-calculus modulo rewriting

Base library and tools for ppx rewriters

Context sensitive completion for OCaml in Vim and Emacs

Lem semantic definition language

A toolkit for embedding VPN capabilities in your application

Auto-formatter for OCaml code

Documentation compiler for OCaml

Examples to illustrate the use of algebraic effects in Multicore OCaml

The HOL Light theorem prover

Archive for all Rocq and Coq-related opam packages organized in various repositories

GUI library for ocaml based on SDL2

Universal toplevel for OCaml

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.

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.