# Marvin

Student and software developer. Sometimes I write articles here.
cv

## Projects

I like to create software from scratch. The following list contains some of my projects.
Dates indicate project start, may still be WIP.

Operating system: Melvix2019
Programming language: Bruijn2022, Birb2023, Jottary2023
Window manager: FreedoWM2019
Term compressor/compiler: BLoC2023, BLoCade2024 BLC2BLC2024
TCP/IP network stack: net.c2020
GUI library: libgui2020
Bruijn standard library: std2022
Blog engine: panblog2023
Brainf*ck interpreter: redireculus2022
Game: BinaryFunSFOS2020, SailChess2020, seq2022, infinite-apply2024
P2P encrypted messenger: Texx2018

## Blog

All articles here. My favorites:

Crafting Formulas2024
Lambda Screen2024
Metaprogramming and Self-Interpretation2023
Variadic Fixed-Point Combinators2023
Data Structures in Pure Lambda Calculus2023
The bruijn Programming Language2023

## Educational

School projects: Karnaugh map2019, AESvisualizer2019, seminar paper2020, KochFractal2020, pass-by-ref2021, bootloader2021
University projects: CTC-LSTM2023, SWR2-ASR2023, diagnosis system2023, linear machine2024, ACM seminar2024
Lecture notes: mathe12021, mathe22022, mathe32022, theo12022 theo22023
More University: All my notes and solutions

## Talks

More presentations here.

2024-06-01, GPN22: Programming with Lambda Calculus (Slides, Repo, Video)
2024-11-06, Tü.λ: Really Functional Data Structures (Slides)

## Interests

Minimal Languages
Distributed Computing
Operating Systems
Information Theory
Language Design
Open Source & Open Data
Permacomputing & Sustainability
Maths & Creative Coding

## Socials

## Links

bruijn: Introduction to the bruijn programming language
bruijn wiki: Wiki for the bruijn programming language
text: Some articles about my projects and ideas
LARS: Our CTF team (warning: potentially flashing)

---
Imprint · AI Transparency