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
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
Python bindings for the Coq interactive proof assistant
- python
- coq
- verification
- machine-learning
Type-safe library for building parallel applications, built on top of Async's Rpc module.