Beast code in Giters

mzeuner's repositories

Bachelor thesis in computer science about the formalisation of aspects of graph theory in AGDA

Language:Agda000

A dummy repo to show how to use a Github actions workflow for continuous integration

Language:Python03 1

Language:AgdaNOASSERTION000

A repository containing simple code examples in various languages showcasing features of various programming paradigms

Language:Haskell020

CV written using LaTeX

Language:TeX000

A simple implementation of Hoare logic in Agda, closely following the original paper

Language:Agda010