haschu.me git repositories

Name	Description	Owner	Idle
haschu/coalgebraic-mu-calculus.git	[WIP] Formaliziation of the coalgebraic mu-calculus in Lean 4.	Git Repositories
haschu/foobar.git	A bar, launcher, control center, and notification daemon I wrote for my personal...	Git Repositories
haschu/highway.git	[WIP] A Wayland compositor in Haskell.	Git Repositories
haschu/nominal-lean.git	Formalization of nominal sets in Lean 4.	Git Repositories
haschu/settlr.git	[WIP] Expense sharing/tracking.	Git Repositories
haschu/waylean.git	[WIP] A River window manager implemented in Lean 4.	Git Repositories
haschu/yaes.git	A simple portable NES emulator written in C++.	Git Repositories
priv/eth
faa.git	AS 2025: Formalizing Analysis of Algorithms	Git Repositories
faa/project.git	AS 2025: Formalizing Analysis of Algorithms - formalization project	Git Repositories	2 weeks
faa/slides.git	AS 2025: Formalizing Analysis of Algorithms - formalization presentation	Git Repositories
ffpl.git	AS 2025: Formal Foundations of Programming Languages	Git Repositories
ffpl/project.git	AS 2025: Formal Foundations of Programming Languages - formalization project	Git Repositories	2 weeks
gca.git	AS 2025: Geometry: Combinatorics and Algorithms	Git Repositories
infosec.git	AS 2025: Information Security Lab	Git Repositories
priv/fau
algebra.git	WS 2024: Algebra	Git Repositories
bfs.git	WS 2023: Berechenbarkeit und Formale Sprachen	Git Repositories
bsc-project/cybertropolis.git	SS 2025: Praktikum Lehrsimulatoren in Godot für Rechnerarchitektur - Cybertropo...	Git Repositories	2 weeks
bsc-project/space-obscurity.git	SS 2025: Praktikum Lehrsimulatoren in Godot für Rechnerarchitektur - Space Obsc...	Git Repositories
bsc-seminar.git	SS 2025: Seminar Wissensrepräsentation und -verarbeitung	Git Repositories
bsc-thesis.git	SS 2025: Bachelor's Thesis - "A Graded Monad for the Local Freshness Semantics o...	Git Repositories
commpar.git	WS 2024: Kommunikation und Parallele Prozesse	Git Repositories
dt.git	SS 2026: Einführung in die Darstellungstheorie	Git Repositories
itp.git	SS 2026: Interactive Theorem Proving	Git Repositories
kategorientheorie.git	WS 2026: Kategorientheorie	Git Repositories
lko.git	WS 2024: Lineare und Kombinatorische Optimierung	Git Repositories
mathe-c3.git	WS 2023: Mathematik für Ingenieure C3	Git Repositories
modallogik.git	SS 2025: Modallogik	Git Repositories
mpstubs.git	WS 2024: Betriebssysteme	Git Repositories	2 weeks
msc-project.git	SS 2026: Master's Project - "Symbolic Model Checking for the Coalgebraic mu-Calc...	Git Repositories
msc-seminar.git	SS 2026: Automatentheorie	Git Repositories
pfp.git	WS 2023: Parallele und Funktionale Programmierung	Git Repositories
rando.git	SS 2025: Randomisierte Algorithmen	Git Repositories
topcat.git	WS 2024: Themen der Kategorientheorie	Git Repositories
priv/haschu
config.git	Personal Nix config.	Git Repositories
cv.git	Curriculum Vitae.	Git Repositories
skene.git	[WIP] A functional UI framework in Kotlin.	Git Repositories	2 weeks
template.git	Personal LaTeX project structure template.	Git Repositories
website.git	Personal website.	Git Repositories
priv/lyra
app-ios.git	[WIP] Lyra App for iOS	Git Repositories	2 weeks
app-legacy.git	[WIP] Lyra App for really old iOS versions	Git Repositories	2 weeks
backend.git	[WIP] Lyra Server Backend	Git Repositories	2 weeks
frontend.git	[WIP] Lyra Web Interface	Git Repositories	2 weeks