trefis/delmenu
Public repository.
Developer Profile
trefis
Discovered public repositories for trefis in the GitHub catalog.
trefis/mopidy-facade
Mopidy extension providing a "better" frontend than MPD
trefis/Facade
A small search UI for mopidy
trefis/utop
Universal toplevel for OCaml
trefis/ocaml
Read-only mirror of INRIA SVN
trefis/opam-repository
Package descriptions for OPAM
trefis/deques
TRE: a Coq implementation of Tarjan & Kaplan "Real-Time Deques with Catenation"