gallais/agDATA
Playing with advanced Data Types in Agda
Developer Profile
gallais
Discovered public repositories for gallais in the GitHub catalog.
gallais/STRINaGda
Dependent Stringly-Typed Programming
gallais/agdARGS
Dealing with Flags and Options
gallais/aGdaREP
Implementing grep in Agda
gallais/proof-search-ILLWiL
A self-contained repo for the ILLWiL paper
gallais/gallais.github.io
My website, now generated using Hakyll
gallais/word-arithmetic
Arithmetic on unsigned integers, in Haskell
gallais/martin-lof
papers of Per Martin Löf
gallais/potpourri
Where my everyday research happens
gallais/ocaml-sparse-matrix
Implementation of Sparse Matrices in Ocaml using Batteries
gallais/countdown
Public repository.
gallais/MiniAgda-mode
An emacs mode for MiniAgda
gallais/agda-presburger
Deciding Presburger arithmetic in agda
gallais/agda-nbe
Formalizing nbe in agda