Thomas Refis

uberraschung

OCaml 0 0

Ö

Updated 2019-09-10 19:23:23 +00:00

lambda-dumps

0 0

Updated 2019-06-27 15:26:19 +00:00

existentialism

OCaml 0 0

is a humanism

Updated 2018-08-03 09:12:05 +00:00

Facade

OCaml 0 0

A small search UI for mopidy

Updated 2014-01-06 15:01:23 +00:00

delmenu

OCaml 1 0

Updated 2013-11-23 16:00:16 +00:00

mopidy-facade

Python 0 0

Mopidy extension providing a "better" frontend than MPD

Updated 2013-11-18 22:16:23 +00:00

deques

Rocq Prover 0 0

TRE: a Coq implementation of Tarjan & Kaplan "Real-Time Deques with Catenation"

Updated 2013-11-17 15:03:10 +00:00