Beast code in Giters

Adrien Guatto's repositories

melitte

Toy implementation of Martin-Löf Type Theory

Language:OCamlGPL-3.023 10

pulsar

Experimental functional language

Language:OCamlGPL-3.017 70

xrandr-nightmode

Make it easier to read in dark rooms by turning your screen colors to black and shades of red. Linux only.

Language:CGPL-3.06 20

matcheck

A small and generic verifier of ML's pattern-matching construct.

Language:OCamlMIT5 20

sync-lang

sync-lang.org website

MIT2 10

acids

Experimental n-synchronous language

Language:OCamlGPL-3.0100

skybox.py

Simple seamless skybox creator.

Language:PythonMIT1 10

twmc

Language:OCamlGPL-3.0100

get-gitlab-forks

Retrieve all the forks of a gitlab project

Language:Shell000

heartbeat-semantics

Language:OCamlMIT000

heptagon

Fork of http://gitlab.inria.fr/synchrone/heptagon/.

Language:OCaml000

i3status

Generates status bar to use with i3bar, dzen2 or xmobar

Language:CBSD-3-Clause010

jbuilder

A composable build system for OCaml

Language:OCamlApache-2.0020

mitten_preorder

Language:OCamlMIT000

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlNOASSERTION010

ocaml-migrate-parsetree

Convert OCaml parsetrees between different major versions

Language:OCamlNOASSERTION010

OCamlSDL2

OCaml interface to SDL 2.0 (for Linux and Windows)

Language:OCamlNOASSERTION000

popl2016-papers

Links to publicly available preprints for the POPL'16 conference

000

sedlex

An OCaml lexer generator for Unicode

Language:OCamlMIT010

test-tools

Simple testing tools for command-line programs

Language:OCamlApache-2.0010

The-Definition-of-Standard-ML-Revised

The Definition of Standard ML, Revised (1997)

Language:TeX010

ThreadScope

A graphical tool for profiling parallel Haskell programs

Language:HaskellNOASSERTION010

veezuh

Trace visualizer

Language:OCamlISC010