BjoernLoetters

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

clerk
Live View Programming with Java's JShell
Language:HTML0 0 00
elaboration-zoo
Minimal implementations for dependent type checking and elaboration
Language:Haskell00
lambda-m
A lazy and untyped experimental programming language
Language:Haskell10 2 32
macrowave
Language:Scala4 3 450
noocleus-one
A minimal functional programming language with type inference, algebraic data types and pattern matching
Language:Scala4 2 30
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

BjoernLoetters's Repositories

BjoernLoetters/lambda-m
A lazy and untyped experimental programming language
Language:Haskell10 2 32
BjoernLoetters/macrowave
Language:Scala4 3 450
BjoernLoetters/noocleus-one
A minimal functional programming language with type inference, algebraic data types and pattern matching
Language:Scala4 2 30
BjoernLoetters/clerk
Live View Programming with Java's JShell
Language:HTML0 0 00
BjoernLoetters/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
Language:Haskell00