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

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

Code coverage for OCaml and ReScript

• coverage
• ocaml

Terminal manipulation library for OCaml

• ocaml

Rocq plugin embedding Elpi

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

Easy OCaml bindings for Javascript libraries

A compiler for the 🎃 Spooky 😱 programming language 👻

• halloween
• surprise
• fear
• programming-language

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

A library to build and execute typed scientific workflows

• ocaml
• bioinformatics
• computational-biology
• workflow

Tool to convert OASIS metadata to OPAM package descriptions

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

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:

• ocaml
• commitment-schemes
• secure-multi-party-computation
• cryptography