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.

Sound static analysis for the masses.

Modern scientific computing for OCaml

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

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

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

A verification toolchain for Rust programs

OCaml - Oxidized!

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

A garden of small programming language implementations 🪴

MirageOS is a library operating system that constructs unikernels

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 tool-agnostic formal specification language for OCaml.

Experimental "docker build" alternative using btrfs/zfs snapshots

Cerberus C semantics

Unison file synchronizer

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

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

Programming language for literate programming law specification

Performant type-checking for python.

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

A composable build system for OCaml.

KaRaMeL is a tool for extracting low-level F* programs to readable C code

Lem semantic definition language

Static types for JSON APIs

OCaml promises and concurrent I/O

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

Preprocessor / Pretty Printer for OCaml

A toolkit for embedding VPN capabilities in your application

The HOL Light theorem prover

Compiler from OCaml to Javascript.

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

Web server in OCaml.

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

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

OCaml library for reading, writing and modifying PDF files

Context sensitive completion for OCaml in Vim and Emacs

A functional programming language based on algebraic effect handlers

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

tool for creating supermin appliances (formerly called febootstrap). http://libguestfs.org

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

Universal toplevel for OCaml

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.

The Xapi Project's XenAPI Server

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.