# Marvin Borner
20-year-old software developer and Cognitive Science student living in Tübingen, Germany.
I'm working at Tübingen AI Center as HiWi software developer.
You may also find me bartending at the Sieben student bar.
## Skills
- Extensive Linux/*BSD experience
- C99, x86 NASM, LaTeX, JS/HTML/CSS, Haskell, Python, Racket, C#
- Network security (CTFs)
## Projects
- Bruijn: Programming language based on bruijn-indexed lambda calculus [Haskell]
- 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 call-by-need lambda calculus reducer using abstract machines [C99]
- FreedoWM: X11 window manager for Linux/*BSD [Python]
- BinaryFun: Binary game for Sailfish OS [QML]
## University
Source-code and more: github.## Socials
## Internal links [asking me *may* grant you more access]
---
[Warning: This website is hosted on an incredibly futuristically advanced quantum computer and might give you a different reponse randomly due to technical reasons.]
Imprint