Beast code in Giters

Thomas Refis's repositories

Facade

A small search UI for mopidy

Language:OCamlISC8 40

ocaml-kittyimg

Implementation of kitty's terminal graphics protocol

Language:OCamlMIT300

deques

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

Language:Coq1 30

existentialism

is a humanism

Language:OCaml1 20

lambda-dumps

1 10

opam-repository

Package descriptions for OPAM

Language:ShellCC0-1.01 20

delmenu

Language:OCaml020

dream

Tidy, feature-complete Web framework

Language:OCamlMIT000

dune

A composable build system for OCaml

Language:OCamlApache-2.0020

js_of_ocaml

Compiler from OCaml to Javascript.

Language:OCamlNOASSERTION010

mdx

Execute code blocks inside markdown files

Language:OCamlISC020

mopidy-facade

Mopidy extension providing a "better" frontend than MPD

Language:PythonISC020

ocaml

Read-only mirror of INRIA SVN

Language:OCamlNOASSERTION020

odoc

Documentation compiler for OCaml and Reason

Language:OCamlNOASSERTION000

okra

OKR report aggregation tool

Language:OCamlMIT010

pprint

A pretty-printing combinator library for OCaml

Language:OCamlNOASSERTION010

uberraschung

Language:OCaml020

utop

Universal toplevel for OCaml

Language:OCamlNOASSERTION020

vim-ocaml

Vim runtime files for OCaml

Language:Vim script010