TheMC47
An Informatics student at the Technical University of Munich who likes functional programming
Munich, Germany
Pinned Repositories
isabelle-linter
Linter component for Isabelle.
advent-of-code
bachelor-thesis-isabelle-linter
A Linter for Isabelle. Developed for my bachelor's thesis at the Chair For Logic and Verification at the Technical University of Munich
binance-connector-python
a simple connector to Binance Public API
bundestagswahl-db-project
Modeling the German parliamentary elections "Bundestagswahl" – Lecture "Datenbanksystem", Prof. Alfons Kemper
cheatsheets
DESCRIPTION: Cool things and (useful) tricks that I might forget, to make the code elegant and performant. Designed for org-mode
dotfiles
isabelle-linter
Linter component for Isabelle.
xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
xmonad-contrib
Contributed modules for xmonad
TheMC47's Repositories
TheMC47/bachelor-thesis-isabelle-linter
A Linter for Isabelle. Developed for my bachelor's thesis at the Chair For Logic and Verification at the Technical University of Munich
TheMC47/dotfiles
TheMC47/bundestagswahl-db-project
Modeling the German parliamentary elections "Bundestagswahl" – Lecture "Datenbanksystem", Prof. Alfons Kemper
TheMC47/isabelle-linter
Linter component for Isabelle.
TheMC47/advent-of-code
TheMC47/binance-connector-python
a simple connector to Binance Public API
TheMC47/cheatsheets
DESCRIPTION: Cool things and (useful) tricks that I might forget, to make the code elegant and performant. Designed for org-mode
TheMC47/django-rest-framework
Web APIs for Django. 🎸
TheMC47/django-rules
Awesome Django authorization, without the database
TheMC47/emacs-config
My private emacs config for doom-emacs
TheMC47/isabelle
git mirror of the Munich isabelle hg repository. This is for my bachelor thesis.
TheMC47/lca
Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing
TheMC47/prisma-bug-report
A reproducible for a bug report
TheMC47/random-quote
Picking random quotes
TheMC47/safe-money
Haskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals
TheMC47/umbra-progress
A repository that hosts my seminar paper "Tracking Query Progress"
TheMC47/xmonad
The core of xmonad, a small but functional ICCCM-compliant tiling window manager
TheMC47/xmonad-contrib
Contributed modules for xmonad
TheMC47/xmonad-web
The xmonad.org website