Théo Winterhalter's repositories
formal-type-theory
Formalising Type Theory in a modular way for translations between type theories
phd-thesis
Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
coq-partialfun
Dependent composable partial functions for free in Coq
ett-to-wtt
Coq formalisation of a translation from (an) extensional type theory to (a) weak type theory
ett-to-itt
Coq formalisation and plugin of a translation from ETT to ITT
atom-language-agda
Agda language support for the Atom editor
resizing-reflection
Master Thesis with Nicolas Tabareau on Resizing Rules and Reflection
sublimeassembly
Provides actually decent code highlighting for x86-64 assembly in Sublime Text
template-coq
Reflection library for Coq
ghost-reflection
A formalisation of a dependent type theory with ghost types
language-prolog
Prolog language support for Atom
pdm4all
Partial Dijkstra monads for all
selection-count
Add character count for atom editor