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

A code rewrite tool for structural search and replace that supports ~every language.

• program-transformation
• search-and-replace
• linting
• refactoring

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

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

OCaml bindings for PyTorch

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

Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

• ocaml
• wasm
• webassembly
• interpreter

OCaml bindings for TensorFlow

Formal verification for OCaml, with Rocq

• ocaml
• compiler
• formal-verification
• rocq

An OCaml generic virtual machine for microcontrollers

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

An SMT solver frontend for OCaml

• ocaml
• smt-lib
• symbolic-execution
• z3

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

OCaml bindings to MariaDB, supporting the nonblocking API

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

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

Minimalistic monad syntax for OCaml.

OCaml bindings for Python