OCaml

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

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.

A verification toolchain for Rust programs

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 proof assistant for higher-dimensional type theory

A Rust verification tool

OCaml - Oxidized!

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

Unison file synchronizer

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

Programming language for literate programming law specification

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

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

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

A composable build system for OCaml.

Tidy, feature-complete Web framework

Static analysis of IEC 61131-3 programs

Faster, simpler and more portable implementation of jq-inspired language in 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.

Static website generator based on HTML element tree rewriting

OCaml Language Server Protocol implementation

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

Performant type-checking for python.

Programming languages

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

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

Auto-formatter for OCaml code

Base library and tools for ppx rewriters

A toolkit for embedding VPN capabilities in your application

Lem semantic definition language

The HOL Light theorem prover

GUI library for ocaml based on SDL2

MirageOS is a library operating system that constructs unikernels

Context sensitive completion for OCaml in Vim and Emacs

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

Type-driven code generation for OCaml

Verifiable online voting system. This is a mirror of https://gitlab.com/vcast.vote/belenios

Malfunctional Programming

Compiler from OCaml to Javascript.

Examples to illustrate the use of algebraic effects in Multicore 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.