OCaml

Mechanization toolchain for the P4 programming language

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

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

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

OCaml - Oxidized!

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

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

Unison file synchronizer

OCaml code generator and runtime library for handling typed tree-sitter CSTs

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

Programming language for literate programming law specification

A composable build system 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.

Tidy, feature-complete Web framework

Static analysis of IEC 61131-3 programs

Static website generator based on HTML element tree rewriting

OCaml Language Server Protocol implementation

Programming languages

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

Performant type-checking for python.

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

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

Auto-formatter for OCaml code

MirageOS is a library operating system that constructs unikernels

Proof assistant based on the λΠ-calculus modulo rewriting

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

Documentation compiler for OCaml

GUI library for ocaml based on SDL2

Examples to illustrate the use of algebraic effects in Multicore OCaml

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

Compiler from OCaml to Javascript.