OCaml

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

KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization

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

Sound static analysis for the masses.

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

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

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

A simple scheduler for OCaml 5

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

Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml

Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server

OCaml - Oxidized!

A verification toolchain for Rust programs

Tidy, feature-complete Web framework

Programming language for literate programming law specification

A tool-agnostic formal specification language for OCaml.

An engine for displaying slips, the next-gen version of slides

Visual Studio Code extension for Coq

A mixture of tooling combined to produce JavaScript from OCaml & Reason

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

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

Unison file synchronizer

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

Simple high-level language for writing Internet Computer canisters

The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.

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.

A composable build system for OCaml.

Compiler from OCaml to Javascript.

Ocsigen-start: Higher-level library to develop Web and mobile applications with users, (pre)registration, notifications, etc.

Multi-tier framework for programming web and mobile applications in OCaml.

Web server in OCaml.

OCaml promises and concurrent I/O

Static types for JSON APIs

Context sensitive completion for OCaml in Vim and Emacs

A functional programming language based on algebraic effect handlers