Repository Index

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

• ocaml
• javascript
• reasonml
• reason

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

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

• ocaml
• git
• storage
• mirageos

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

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

Jane Street Capital's standard library overlay

Terraform without the state file bottleneck

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

Standard library for OCaml

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

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

A library for building dynamic webapps, using Js_of_ocaml.

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

Static types for JSON APIs

Declarative definition of command line interfaces for OCaml

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

Code coverage for OCaml and ReScript

• coverage
• ocaml

OCaml project generator.

• spin
• ocaml
• reason
• template

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

• ocaml
• dfa
• regular-expression

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

• coq
• hammer
• automation
• proof-search