-
xmonad-contrib Public
Forked from xmonad/xmonad-contribContributed modules for xmonad
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 1, 2025 -
isabelle Public
Forked from seL4/isabellegit mirror of the Munich isabelle hg repository. This is for my bachelor thesis.
Isabelle Other UpdatedOct 14, 2025 -
xmonad Public
Forked from xmonad/xmonadThe core of xmonad, a small but functional ICCCM-compliant tiling window manager
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 10, 2025 -
-
-
-
umbra-progress Public
A repository that hosts my seminar paper "Tracking Query Progress"
UpdatedNov 29, 2023 -
random-quote Public archive
Picking random quotes
-
isabelle-linter Public
Forked from isabelle-prover/isabelle-linterLinter component for Isabelle.
-
bundestagswahl-db-project Public
Modeling the German parliamentary elections "Bundestagswahl" – Lecture "Datenbanksystem", Prof. Alfons Kemper
-
django-rest-framework Public
Forked from encode/django-rest-frameworkWeb APIs for Django. 🎸
Python Other UpdatedDec 6, 2021 -
bachelor-thesis-isabelle-linter Public archive
A Linter for Isabelle. Developed for my bachelor's thesis at the Chair For Logic and Verification at the Technical University of Munich
-
safe-money Public
Forked from turbosnail9/haskell-moneyHaskell library for type-safe and lossless encoding and manipulation of world currencies and precious metals
Haskell UpdatedAug 15, 2021 -
binance-connector-python Public
Forked from binance/binance-connector-pythona simple connector to Binance Public API
Python MIT License UpdatedJul 8, 2021 -
django-rules Public
Forked from dfunckt/django-rulesAwesome Django authorization, without the database
Python MIT License UpdatedMay 23, 2021 -
xmonad-web Public
Forked from xmonad/xmonad-webThe xmonad.org website
HTML Other UpdatedApr 17, 2021 -
lca Public
Forked from ekmett/lcaImproves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing
Haskell Other UpdatedJan 5, 2021 -
-
cheatsheets Public archive
DESCRIPTION: Cool things and (useful) tricks that I might forget, to make the code elegant and performant. Designed for org-mode
1 UpdatedSep 8, 2020
{{ message }}