Leon Vatthauer's repositories
agda-categories
A new Categories library for Agda
agda-extensionSystem
Formalizing the notion of extension system (or kleisli-triple) in agda
agda-monads
Formalizing categorical definitions of specific monads on arbitrary categories.
agda-poset
Proving that a closure operator on posets is the same as a monad on the corresponding thin category
coreLang
Implementing the CoreLanguage from "Implementing Functional Languages A Tutorial" in Haskell
DDI-TechInf-Assembler
Beispiel Assemblerprogramme
hsh
Haskell SHell is a small implementation of a shell in haskell.
lambda
A small lambda calculus interpreter
tulip
A small functional programming language
EulerHS
Solving ProjectEuler problems in Haskell
haskell-template
Haskell project template using Nix + Flakes + VSCode (HLS)
latex-homework-template
🎓📄 The LaTeX file that I used as the base for all my homework in university.