Repository Index

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

• compiler
• javascript
• altjs
• rescript

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 modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

An OCaml lexer generator for Unicode

Elm architecture and (V)DOM for OCaml

An OCaml generic virtual machine for microcontrollers

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 MariaDB, supporting the nonblocking API

Parallelize _anything_ //

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

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

• liquid
• ocaml
• parser-combinators
• shopify

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

OCaml library for combinatorics

nanomsg bindings for ocaml

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

Parser and printer for date-times in ISO8601

• ocaml
• iso8601
• datetime
• parser

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

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

Import and export CommonJS modules in js_of_ocaml