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

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

Effects-based direct-style IO for multicore OCaml

• concurrency
• effects
• io
• multicore

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

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

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

• ocaml
• wasm
• webassembly
• interpreter

The Frenetic Programming Language and Runtime System

An OCaml generic virtual machine for microcontrollers

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Parallelize _anything_ //

• ocaml-library
• parallel-computing
• stream-processing
• multi-processing

Type-safe library for building parallel applications, built on top of Async's Rpc module.

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

• ocaml
• pcre
• pattern-matching
• string-matching

Minimalistic monad syntax for OCaml.