index
NameDescriptionIdleLinks
marvinborner/bachelor<private>13 hourssummarylogtree
marvinborner/bruijn:abacus: Programming with pure lambda calculus12 dayssummarylogtree
Algo-Boys/sammelsurium<private>3 weekssummarylogtree
marvinborner/interactive-lambda-screen<private>4 weekssummarylogtree
marvinborner/text<private>5 weekssummarylogtree
marvinborner/lambda-screen🎨 Drawing images with lambda calculus6 weekssummarylogtree
marvinborner/panblog:rainbow: Very hacky blog engine based on pandoc7 weekssummarylogtree
marvinborner/lisc<private>7 weekssummarylogtree
marvinborner/lambda-coreLambda Calculus Core! A collaborative effort at showing how the core of lambda c...8 weekssummarylogtree
marvinborner/ANITY<private>2 monthssummarylogtree
lars-ctf/lars-ctf.github.ioTeam website of LARS team (#1 CTF team)3 monthssummarylogtree
lars-ctf/larslangLa Lars Language3 monthssummarylogtree
lars-ctf/astro-blogAstro Blog3 monthssummarylogtree
marvinborner/AdventOfCode:christmas_tree: My Advent Of Code solutions3 monthssummarylogtree
marvinborner/38c3<private>3 monthssummarylogtree
marvinborner/miliminimal linear lambda language experiment [WIP]4 monthssummarylogtree
marvinborner/picomonadthe tiniest monads4 monthssummarylogtree
marvinborner/infraPublic infrastructure scripts, configs, documentation, etc.4 monthssummarylogtree
marvinborner/effekt-tests<private>4 monthssummarylogtree
marvinborner/comp<private>5 monthssummarylogtree
marvinborner/tuela24Files of my Tü.λ talk (2024-11-06)5 monthssummarylogtree
marvinborner/BLC2LLVM<private>5 monthssummarylogtree
marvinborner/acm_seminarAPL AOC 2022/18 for UOT ACM/AOC seminar SS246 monthssummarylogtree
marvinborner/binadic<private>6 monthssummarylogtree
marvinborner/BLC2BLCConvert BLC to other BLC encoding7 monthssummarylogtree
marvinborner/bruijn-lisp<private>7 monthssummarylogtree
marvinborner/functional-coders.github.iohttps://functional-coders.github.io/8 monthssummarylogtree
marvinborner/infinite-apply:space_invader: Infinite Craft, but for lambda calculus!8 monthssummarylogtree
marvinborner/state<private>8 monthssummarylogtree
lars-ctf/writeup-gpn22GPN22 kitctf writeups of the #1 best ctf team ever created (17/688)9 monthssummarylogtree
lars-ctf/blog<private>9 monthssummarylogtree
marvinborner/inet.py<private>10 monthssummarylogtree
marvinborner/gpn22GPN22 talk files10 monthssummarylogtree
marvinborner/lcflow<private>10 monthssummarylogtree
marvinborner/decidabilitus<private>11 monthssummarylogtree
marvinborner/bigblab<private>11 monthssummarylogtree
Algo-Boys/ML-Schmailo<private>11 monthssummarylogtree
marvinborner/effekt-plots<private>11 monthssummarylogtree
marvinborner/lmbd<private>11 monthssummarylogtree
melvars/SeminarCourse<private>12 monthssummarylogtree
melvars/36c3schedule-parsernone12 monthssummarylogtree
marvinborner/optidr<private>12 monthssummarylogtree
marvinborner/Loci-LoopedLooping Loci: Developing object permanence from videos12 monthssummarylogtree
marvinborner/LambdaFS<private>13 monthssummarylogtree
marvinborner/publications<private>14 monthssummarylogtree
marvinborner/dotfiles:floppy_disk: Handcrafted dotfiles for a pleasant linux experience14 monthssummarylogtree
marvinborner/BLoCade:mermaid: The BLoC-aid for efficient targeted compilation of lambda calculus14 monthssummarylogtree
marvinborner/BLoC:sparkles: File format and optimizer for programs encoded in binary lambda calcu...14 monthssummarylogtree
marvinborner/calm:zap: Highly efficient and aggressive lambda calculus reducer [WIP]14 monthssummarylogtree
lars-ctf/writeup-37c3Some writeups of our solutions for Potluck CTF for 37C315 monthssummarylogtree
marvinborner/lol<private>16 monthssummarylogtree
marvinborner/skripte:books: Skripte und Mitschriebe zu Veranstaltungen an der Universität Tübingen16 monthssummarylogtree
marvinborner/LectureNotes:book: Some of my lecture notes16 monthssummarylogtree
marvinborner/totalOS<private>16 monthssummarylogtree
Algo-Boys/SWR2-ASRAutomatic speech recognition model for the Spoken Word Recognition seminar (SWR2...16 monthssummarylogtree
marvinborner/birb:bird: *cheep cheep shriek caw*16 monthssummarylogtree
marvinborner/boilerplates<private>17 monthssummarylogtree
Algo-Boys/unitoolsTools/config for Tübingen university17 monthssummarylogtree
marvinborner/jottaryEsoteric unary combinatory logic (variant of Jot)18 monthssummarylogtree
marvinborner/TeamProjektSS23<private>19 monthssummarylogtree
marvinborner/elch<private>21 monthssummarylogtree
marvinborner/CTC-LSTMSpoken word recognition using CTC LSTMs for SWR2 Tübingen21 monthssummarylogtree
marvinborner/vaultA simple tool for storing files securely using luks encryption21 monthssummarylogtree
marvinborner/TrustHome:lock: Trust your home by bypassing required interaction automatically and secur...21 monthssummarylogtree
marvinborner/seq-gameAndroid game for remembering number sequences21 monthssummarylogtree
marvinborner/sleepsort:zzz: Efficient sleepsort in assembly with similar* performance to quicksort21 monthssummarylogtree
lars-ctf/writeup-gpn21Some writeups of our solutions for GPNCTF by KITCTFCTF for GPN21 Karlsruhe. We s...21 monthssummarylogtree
marvinborner/sharing-equalityReference implementation of a shared equality query algorithm for shared λ-grap...22 monthssummarylogtree
marvinborner/tight<private>22 monthssummarylogtree
marvinborner/clickhere.lol<private>22 monthssummarylogtree
marvinborner/KalkulOS<private>22 monthssummarylogtree
marvinborner/larsux<private>22 monthssummarylogtree
Algo-Boys/poetry-website<private>23 monthssummarylogtree
melvars/simsalasimTime-warping x86 simulator/emulator/analyser/debugger/magic2 yearssummarylogtree
marvinborner/NetflixStats:chart_with_upwards_trend: Simple but awesome statistics for your Netflix accoun...2 yearssummarylogtree
Algo-Boys/yeetsort<private>2 yearssummarylogtree
marvinborner/redireculus:arrows_clockwise: Ridiculous brainfuck interpreter (ab)using browser redirects ...2 yearssummarylogtree
marvinborner/Melvix:computer: Small operating system written from scratch (covid/school project)3 yearssummarylogtree
marvinborner/fun<public archive>: A totally fun programming language3 yearssummarylogtree
marvinborner/saveA simple tool for saving things3 yearssummarylogtree
marvinborner/MarFSAwesome filesystem for Melvix (WIP)3 yearssummarylogtree
marvinborner/zathura-note:notebook: Very basic reverse-engineered notability .note (v2021) support for za...4 yearssummarylogtree
marvinborner/Graphicus<private>4 yearssummarylogtree
marvinborner/SegelBoot:sailboat: x86 32-bit bootloader for my final presentation exam4 yearssummarylogtree
melvars/abitur2021:orange_book: High school graduation paper (Abizeitung) platform & generator (La...4 yearssummarylogtree
marvinborner/extboot:boot: Minimal ext2 bootloader for hobby operating systems4 yearssummarylogtree
marvinborner/pass-by-refCT video über pass by ref vs pass by val4 yearssummarylogtree
melvars/kloud:cloud: A open source and minimalistic cloud4 yearssummarylogtree
marvinborner/mailvinStrange email reading4 yearssummarylogtree
marvinborner/DeutschCThis was just a joke between some classmates and me :)4 yearssummarylogtree
marvinborner/HG2G-404:space_invader: 404 page in the style of the fantastic book series "Hitchhikers ...4 yearssummarylogtree
marvinborner/KochFractalSchool presentation (GFS)5 yearssummarylogtree
melvars/Texx:love_letter: A decentralized and encrypted messenger5 yearssummarylogtree
marvinborner/SailChessA lichess frontend for Sailfish OS!5 yearssummarylogtree
marvinborner/BinaryFunSFOSAn awesome binary game for Sailfish OS!5 yearssummarylogtree
marvinborner/ClojureChess<private>5 yearssummarylogtree
marvinborner/NeuralStuff<private>5 yearssummarylogtree
marvinborner/Notabilitus<private>5 yearssummarylogtree
marvinborner/SubsidiaryBrowser<private>5 yearssummarylogtree
melvars/36C3<private>5 yearssummarylogtree
marvinborner/opendots<private>5 yearssummarylogtree
marvinborner/SchulplanerToller Schulplaner5 yearssummarylogtree
marvinborner/AlpacaIDAlpacaID - the innovative QR-Code for Jugend hackt!5 yearssummarylogtree
marvinborner/DeceptionDetection<private>5 yearssummarylogtree
melvars/DeceptionDetection<private>5 yearssummarylogtree
marvinborner/neo<private>6 yearssummarylogtree
marvinborner/TermShare<private>6 yearssummarylogtree
marvinborner/run<public archive>: Run is an open source programming language6 yearssummarylogtree
marvinborner/vishual<private>6 yearssummarylogtree
marvinborner/Euler<private>6 yearssummarylogtree
marvinborner/md2texConverts markdown files to Latex [very basic, use pandoc!]6 yearssummarylogtree
marvinborner/AESvisualizer:closed_lock_with_key: An awesome AES visualizer (school project)6 yearssummarylogtree
marvinborner/Memap<private>6 yearssummarylogtree
marvinborner/Lochat<private>6 yearssummarylogtree
marvinborner/FreedoWM:milky_way: Unusable but free and open-source window manager for Linux and *BSD ...6 yearssummarylogtree
marvinborner/bootyswingLiedanalyse Schule6 yearssummarylogtree
marvinborner/CT-KVCT Projekt über KV-Tafeln6 yearssummarylogtree
marvinborner/PiDayHappy Pi Day! 6 yearssummarylogtree
marvinborner/SchoolQuotesQuoting tool to quote your classmates/teachers - password protected!6 yearssummarylogtree
marvinborner/JsonSearchEngineBasic web crawler, usable for search engines or for a searching feature of a web...6 yearssummarylogtree
melvars/Texx-Server[OUT OF DATE] Backend of Texx6 yearssummarylogtree
melvars/Texx-Web[OUT OF DATE] Webclient for Texx.6 yearssummarylogtree
melvars/Texx-Android[OUT OF DATE] Android app of Texx6 yearssummarylogtree
melvars/Texx-LandingpageThe landing page of Texx6 yearssummarylogtree
marvinborner/TetrisGolf<private>6 yearssummarylogtree
marvinborner/UnityFlappyBirdFlappy Bird game clone which I made to learn Unity7 yearssummarylogtree
marvinborner/CalculatorAndroid app for learning app development.7 yearssummarylogtree
marvinborner/ismypasswordonalist.meThese are the files of the open source password security test ismypasswordonalis...7 yearssummarylogtree
marvinborner/ai_chatbot<private archive>7 yearssummarylogtree
marvinborner/mac_sim<private archive>7 yearssummarylogtree
marvinborner/tubetube<private archive>7 yearssummarylogtree