9 open source projects by gallais

Total Parser Combinators in Agda

A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

Total Parser Combinators in Coq

Total Logic-Less Templating Library

Self-contained repository for the eponymous paper

Formalizing nbe in agda

Deciding Presburger arithmetic in agda

Functional Pearl: Certified Binary Search in a Read-Only Array

Where my everyday research happens