Repository Index

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

• ocaml
• javascript
• reasonml
• reason

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.

• proof-assistant
• coq
• theorem-proving
• dependent-types

MirageOS is a library operating system that constructs unikernels

• mirageos
• unikernel
• xen
• kvm

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

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

• ocaml
• git
• storage
• mirageos

A composable build system for OCaml.

• build
• ocaml
• opam
• dune

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

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.

• liquidsoap
• streaming
• webradio

Context sensitive completion for OCaml in Vim and Emacs

• ocaml
• emacs
• vim
• atom

Owl - OCaml Scientific Computing @ https://ocaml.xyz

• matrix
• linear-algebra
• ndarray
• statistical-functions

Terraform without the state file bottleneck

• automation
• cloud-management
• devops
• github-actions

Auto-formatter for OCaml code

• ocaml

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

A high performance, memory efficient, and scalable web server written in OCaml

• ocaml
• http

Batteries Included project

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

• ocaml
• stdlib
• data-structure
• portable

A lightweight and colourful test framework

• unit-testing
• ocaml

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

OCaml bindings for PyTorch

• ocaml
• pytorch
• machine-learning
• artificial-intelligence

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

• genealogy
• software
• web
• database

C Intermediate Language

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

Declarative definition of command line interfaces for OCaml