OCaml

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

CS6868: Concurrent Programming

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

A proof assistant for higher-dimensional type theory

Nitrokey NetHSM system software

A Rust verification tool

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

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

Unison file synchronizer

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

OCaml - Oxidized!

Programming language for literate programming law specification

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

A composable build system for OCaml.

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

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.

Hardcaml is an OCaml library for designing hardware.

Tidy, feature-complete Web framework

Static analysis of IEC 61131-3 programs

Faster, simpler and more portable implementation of jq-inspired language in OCaml

A library for incremental computations

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

Static website generator based on HTML element tree rewriting

Performant type-checking for python.

OCaml Language Server Protocol implementation

Programming languages

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

MirageOS is a library operating system that constructs unikernels

Auto-formatter for OCaml code

Lem semantic definition language

Standard library for OCaml

GUI library for ocaml based on SDL2

Compiler from OCaml to Javascript.

Concurrent Programming with Effect Handlers

Jane Street Capital's standard library overlay

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

Type-driven code generation for OCaml

Generation of S-expression conversion functions from type definitions

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

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.

Malfunctional Programming