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–21 of 21 · Most stars
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
A modern supercompiler for call-by-value functional languages
OCaml bindings for PyTorch
Library for binding to C libraries using pure OCaml
OCaml bindings for TensorFlow
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
Easy OCaml bindings for Javascript libraries
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
OCaml bindings to the SQLite3 database
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
OCaml bindings for Kafka
- ocaml-bindings
- kafka
- librdkafka
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
OCaml bindings to MariaDB, supporting the nonblocking API
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.
nanomsg bindings for ocaml
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
OCaml bindings for OpenGL
- opengl
- ocaml
OCaml bindings for Python