dbaelde

Pinned Repositories

ide_cachan
Projet génie logiciel 2016 de l'ENS Cachan
Language:TeX00
SIGPLAN.github.io
SIGPLAN website
Language:TeX00
UKano
UKano: UnlinKability and ANOnymity verifier
Language:OCaml00
liquidsoap
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.
Language:OCaml1.5k 68 2.3k132
liquidsoap-full
[DEPRECATED] Former main repository with all in-house bindings
Language:HTML48 14 2522
ocaml-duppy
OCaml asynchronous scheduler and monad for server-oriented programming.
Language:OCaml16 4 23
ocaml-ffmpeg
OCaml bindings to the FFmpeg library.
Language:C48 5 2812
ocaml-mm
OCaml multimedia library
Language:OCaml35 7 66
ocaml-portaudio
OCaml bindings for portaudio.
Language:C17 5 17
squirrel-prover
The Squirrel Prover repository. An interactive prover for the formal verification of security protocols.
Language:OCaml52 10 22

dbaelde's Repositories

dbaelde/ide_cachan
Projet génie logiciel 2016 de l'ENS Cachan
Language:TeX00
dbaelde/SIGPLAN.github.io
SIGPLAN website
Language:TeX00
dbaelde/UKano
UKano: UnlinKability and ANOnymity verifier
Language:OCaml00