Repository Index

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

• compiler
• javascript
• altjs
• rescript

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

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

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

OCaml/MPI interface

Trivial/Tagless Polytypic Functions

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

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