Repository Index

A composable build system for OCaml.

• build
• ocaml
• opam
• dune

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

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

• ocaml
• dfa
• regular-expression

Syntax extension for embedded SQL queries using PG'OCaml.

• ocaml
• sql
• postgres
• ppx

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

Collect and view OSS cryptocurrency development.

• cryptocurrency
• open-source-software
• github
• software-metrics