Alex Kavvos's repositories
modal-logics
Agda formalisation of dual-context constructive modal logics.
Language:TeX000
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Language:PythonNOASSERTION000
HoTT
Homotopy type theory
NOASSERTION000
lambda-calculus
Proof of the Church-Rosser theorem using locally nameless representation in Coq
Language:CoqMIT000
Language:RubyMIT000
Language:TeX000
statical
A calendar aggregator and generator to make maintaining calendars on static websites easier.
Language:RustBSD-3-Clause000
Language:Coq000