Repository Index

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

• compiler
• javascript
• altjs
• rescript

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

OCaml bindings for PyTorch

• ocaml
• pytorch
• machine-learning
• artificial-intelligence

Rocq plugin embedding Elpi

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

Interfacing Qt/QML with OCaml. Formely known as lablqt

• ocaml
• qtquick
• qt
• gui

Old Coq plugin for parametricity [maintainer=@ppedrot]

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

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

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

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