marvinborner

student ^ developer ^ researcher != 0

@effekt-langTübingen

Pinned Repositories

effekt
A research language with effect handlers and lightweight effect polymorphism
Language:Scala301 8 21314
AdventOfCode
:christmas_tree: My Advent Of Code solutions
Language:C7 3 00
birb
:bird: *cheep cheep shriek caw*
Language:Haskell79 3 14
BLoC
:sparkles: File format and optimizer for programs encoded in binary lambda calculus
Language:C7 3 20
bruijn
:abacus: Programming with pure lambda calculus
Language:Haskell73 4 10
FreedoWM
:milky_way: Unusable but free and open-source window manager for Linux and *BSD (<500LOC)
Language:Python13 2 10
HG2G-404
:space_invader: 404 page in the style of the fantastic book series "Hitchhikers Guide To The Galaxy" by Douglas Adams
Language:JavaScript6 2 11
lambda-screen
🎨 Drawing images with pure lambda calculus
Language:JavaScript60
Melvix
:computer: Small operating system written from scratch (covid/school project)
Language:C75 4 14
zathura-note
:notebook: Very basic reverse-engineered notability .note (v2021) support for zathura/cairo
Language:C7 3 00

marvinborner's Repositories

marvinborner/birb
:bird: *cheep cheep shriek caw*
Language:Haskell79 3 14
marvinborner/Melvix
:computer: Small operating system written from scratch (covid/school project)
Language:C75 4 14
marvinborner/bruijn
:abacus: Programming with pure lambda calculus
Language:Haskell73 4 10
marvinborner/AdventOfCode
:christmas_tree: My Advent Of Code solutions
Language:C7 3 00
marvinborner/BLoC
:sparkles: File format and optimizer for programs encoded in binary lambda calculus
Language:C7 3 20
marvinborner/zathura-note
:notebook: Very basic reverse-engineered notability .note (v2021) support for zathura/cairo
Language:C7 3 00
marvinborner/lambda-screen
🎨 Drawing images with pure lambda calculus
Language:JavaScript60
marvinborner/BLoCade
:mermaid: The BLoC-aid for efficient targeted compilation of lambda calculus [WIP]
Language:C5 2 0
marvinborner/infinite-apply
:space_invader: Infinite Craft, but for lambda calculus!
Language:JavaScript5
marvinborner/sleepsort
:zzz: Efficient sleepsort in assembly with similar* performance to quicksort
Language:Assembly5 2 00
marvinborner/CTC-LSTM
Spoken word recognition using CTC LSTMs for SWR2 Tübingen
Language:Python4 3 01
marvinborner/NetflixStats
:chart_with_upwards_trend: Simple but awesome statistics for your Netflix account
Language:JavaScript3 3 10
marvinborner/LectureNotes
:book: Some of my lecture notes
Language:TeX2 3 00
marvinborner/seq-game
Android game for remembering number sequences
Language:Kotlin2 2 0
marvinborner/AudioLoader
PyTorch Dataset for Speech and Music audio
Language:Python1 1 0
marvinborner/dotfiles
:floppy_disk: Handcrafted dotfiles for a pleasant linux experience
Language:C1 2 0
marvinborner/jottary
Esoteric unary combinatory logic (variant of Jot)
Language:Haskell1 2 0
marvinborner/sharing-equality
Reference implementation of a shared equality query algorithm for shared λ-graphs; based on "Sharing equality is linear"
Language:C1 2 00
marvinborner/effekt
A research language with effect handlers and lightweight effect polymorphism
Language:Scala1 0
marvinborner/fun
A totally fun programming language [ARCHIVE]
Language:Haskell2 0
marvinborner/gpn22
GPN22 talk files
Language:JavaScript1 0
marvinborner/Loci-Looped
Looping Loci: Developing object permanence from videos
Language:Jupyter Notebook1 0
marvinborner/MarFS
Awesome filesystem for Melvix (WIP)
Language:C3 0
marvinborner/panblog
:rainbow: Very hacky blog engine based on pandoc
Language:CSS2 0
marvinborner/redireculus
:arrows_clockwise: Ridiculous brainfuck interpreter (ab)using browser redirects and path-specific cookies
Language:HTML3 0
marvinborner/run
Run is an open source programming language [ARCHIVE]
Language:Kotlin2 0
marvinborner/save
A simple tool for saving things
Language:JavaScript3 0
marvinborner/skripte
:books: Skripte und Mitschriebe zu Veranstaltungen an der Universität Tübingen
Language:Ruby1 0
marvinborner/TrustHome
:lock: Trust your home by bypassing required interaction automatically and securely while at home
Language:Shell3 0
marvinborner/vault
A simple tool for storing files securely using luks encryption
Language:Shell2 01