Marvin

bruijn. :abacus: Programming with pure lambda calculus

birb. :bird: *cheep cheep shriek caw*

Melvix. :computer: Small operating system written from scratch (covid/school project)

interaction-net-resources. :books: Interaction net resources

BLoC. :sparkles: File format and optimizer for programs encoded in binary lambda calculus

optimal-effects. :dizzy: effects, but optimal

strong-reduction-tests. A test suite for strong beta-reduction of the pure, untyped lambda calculus with ~1200 handwritten tests

FreedoWM. :milky_way: Unusable but free and open-source window manager for Linux and *BSD (<500LOC)

lambda-screen. 🎨 Drawing images with lambda calculus

AdventOfCode. :christmas_tree: My Advent Of Code solutions

zathura-note. :notebook: Very basic reverse-engineered notability .note (v2021) support for zathura/cairo

HG2G-404. :space_invader: 404 page in the style of the fantastic book series "Hitchhikers Guide To The Galaxy" by Douglas Adams

sleepsort. :zzz: Efficient sleepsort in assembly with similar* performance to quicksort

AESvisualizer. :closed_lock_with_key: An awesome AES visualizer (school project)

BLoCade. :mermaid: The BLoC-aid for efficient targeted compilation of lambda calculus [WIP]

BinaryFunSFOS. An awesome binary game for Sailfish OS!

infinite-apply. :space_invader: Infinite Craft, but for lambda calculus!

PiDay. Happy Pi Day!

CTC-LSTM. Spoken word recognition using CTC LSTMs for SWR2 Tübingen

NetflixStats. :chart_with_upwards_trend: Simple but awesome statistics for your Netflix account

jottary. Esoteric unary combinatory logic (variant of Jot)

DeutschC. This was just a joke between some classmates and me :)

extboot. :boot: Minimal ext2 bootloader for hobby operating systems

AlpacaID. AlpacaID - the innovative QR-Code for Jugend hackt!

md2tex. Converts markdown files to Latex [very basic, use pandoc!]

picomonad. the tiniest monads

mili. minimal linear lambda language experiment [WIP]

mailvin. Strange email reading

seq-game. Android game for remembering number sequences

gpn22. GPN22 talk files

LectureNotes. :book: Some of my lecture notes

UnityFlappyBird. Flappy Bird game clone which I made to learn Unity

panblog. :rainbow: Very hacky blog engine based on pandoc

Schulplaner. Toller Schulplaner

sharing-equality. Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"

fun. A totally fun programming language [ARCHIVE]

ismypasswordonalist.me. These are the files of the open source password security test ismypasswordonalist.me

JsonSearchEngine. Basic web crawler, usable for search engines or for a searching feature of a website

tuela24. Files of my Tü.λ talk (2024-11-06)

redireculus. :arrows_clockwise: Ridiculous brainfuck interpreter (ab)using browser redirects and path-specific cookies

acm_seminar. APL AOC 2022/18 for UOT ACM/AOC seminar SS24

dotfiles. :floppy_disk: Handcrafted dotfiles for a pleasant linux experience

vault. A simple tool for storing files securely using luks encryption

SailChess. A lichess frontend for Sailfish OS!

MarFS. Awesome filesystem for Melvix (WIP)

TrustHome. :lock: Trust your home by bypassing required interaction automatically and securely while at home

bootyswing. Liedanalyse Schule

Calculator. Android app for learning app development.