# Marvin

20-year-old software developer at Tübingen AI Center and Cognitive Science student.

I sometimes write articles here.

## Projects

• Bruijn: Programming language based on bruijn-indexed lambda calculus [Haskell]
• BLoC: File format and optimizer for binary lambda calculus [C99]
• Melvix: x86 operating system [C99, NASM]
• SegelBoot: Bootloader for x86 computers [C99, NASM]
• MarFS: Linked list filesystem for hobby operating systems [C99]
• Calm: Highly efficient lambda calculus reducer [C99]
• FreedoWM: X11 window manager for Linux/*BSD [Python]
• BinaryFun: Binary game for Sailfish OS [QML]

## University

## Socials

• github
• paypal
• linked

## Links

• bruijn: Introduction to the bruijn programming language
• board: Issue tracker for my repositories
• cats: Cute pictures of cats in tight places
• clickhere: Suspicious URL shortener
• redesign: Beautifully redesigned personal website