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–10 of 10 · Most stars
Parser combinators built for speed and memory efficiency
OCaml bindings for PyTorch
An OCaml lexer generator for Unicode
Self-contained monadic parser combinators for OCaml
- parser-combinators
- parser-monad
Nice parsers in OCaml without the boilerplate
- ocaml
- menhir
- boilerplate
- parsing
Binding to Cairo, a 2D Vector Graphics Library.
- cairo
- ocaml
- stroke
- drawing
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
OCaml library for combinatorics
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