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

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

Universal toplevel for 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

An OCaml lexer generator for Unicode

Self-contained monadic parser combinators for OCaml

• parser-combinators
• parser-monad

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

OCaml bindings to the SQLite3 database

• ocaml
• database
• sqlite3

Nice parsers in OCaml without the boilerplate

• ocaml
• menhir
• boilerplate
• parsing

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

OCaml bindings to MariaDB, supporting the nonblocking API

Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.

• liquid
• ocaml
• parser-combinators
• shopify

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

OCaml library for combinatorics

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

OCaml bindings to PCRE (Perl Compatibility Regular Expressions)

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

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

• algorand
• blockchain
• cryptocurrency
• domain-specific-language

OCaml library for forking child processes to perform work on multiple cores