Repository Index

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

• compiler
• javascript
• altjs
• rescript

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

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

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

Universal toplevel for OCaml

OCaml Language Server Protocol implementation

Sinatra like web toolkit for OCaml

Auto-formatter for OCaml code

• ocaml

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

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

• ocaml
• stdlib
• data-structure
• portable

OCaml bindings for PyTorch

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

The Ott tool for writing definitions of programming languages and calculi

Library for binding to C libraries using pure OCaml

QuickCheck inspired property-based testing for OCaml.

• ocaml
• quickcheck
• random
• testing

Pure OCaml Git format and protocol

• git
• ocaml

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

Tutorial on Multicore OCaml parallel programming with domainslib

• ocaml
• multicore

OCaml project generator.

• spin
• ocaml
• reason
• template

An OCaml lexer generator for Unicode

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search