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 core OCaml system: compilers, runtime system, base libraries

• ocaml
• compiler
• functional-language

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

A language that compiles to Bash and Windows Batch

A code rewrite tool for structural search and replace that supports ~every language.

• program-transformation
• search-and-replace
• linting
• refactoring

Programming language for literate programming law specification

• programming-language
• legislative-texts

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

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

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

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

• ocaml
• wasm
• webassembly
• interpreter

OCaml bindings for TensorFlow

The Frenetic Programming Language and Runtime System

Rocq plugin embedding Elpi

• coq
• metaprogramming
• extension-language
• lambda-prolog

Easy OCaml bindings for Javascript libraries

Interfacing Qt/QML with OCaml. Formely known as lablqt

• ocaml
• qtquick
• qt
• gui

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

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing

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