Reijix

Leon Vatthauer's repositories

dream

A study project for my free time: Implementing a compiler in Haskell. The language 'dream' is heavily inspired by the programming language used at my universities compiler course.

Language:Haskell200

agda-categories

A new Categories library for Agda

Language:AgdaMIT000

agda-extensionSystem

Formalizing the notion of extension system (or kleisli-triple) in agda

Language:AgdaMIT000

agda-monads

Formalizing categorical definitions of specific monads on arbitrary categories.

Language:Agda000

agda-poset

Proving that a closure operator on posets is the same as a monad on the corresponding thin category

Language:AgdaMIT000

coreLang

Implementing the CoreLanguage from "Implementing Functional Languages A Tutorial" in Haskell

Language:Haskell000

DDI-TechInf-Assembler

Beispiel Assemblerprogramme

000

hsh

Haskell SHell is a small implementation of a shell in haskell.

Language:Haskell000

lambda

A small lambda calculus interpreter

Language:HaskellMIT000

tulip

A small functional programming language

Language:HaskellMIT000

EulerHS

Solving ProjectEuler problems in Haskell

Language:Haskell000

haskell-template

Haskell project template using Nix + Flakes + VSCode (HLS)

Language:NixMIT000

latex-homework-template

🎓📄 The LaTeX file that I used as the base for all my homework in university.

Language:TeXMIT000