kuchenkruste

Working towards my Ph.D. in computer science. I love meta-programming and type theory as well as designing programming languages at all.

University of Applied Sciences THMGermany

Pinned Repositories

.github
10
bowl
Language:C20
bowl-api
Language:C1 2 00
bowl-io
Language:C10
bowl-kernel
Language:C1 3 10
bowl-system
Language:C0 1 00
lambda-m
A lazy and untyped experimental programming language
Language:Haskell102
macrowave
Language:Scala40
noocleus-one
A minimal functional programming language with type inference, algebraic data types and pattern matching
Language:Scala3 2 30

kuchenkruste's Repositories

kuchenkruste/lambda-m
A lazy and untyped experimental programming language
Language:Haskell102
kuchenkruste/macrowave
Language:Scala40
kuchenkruste/noocleus-one
A minimal functional programming language with type inference, algebraic data types and pattern matching
Language:Scala3 2 30