Sebastian Ullrich

electrolysis. Simple verification of Rust programs via functional purification in Lean 2(!)

Bartizan. Mod Framework for TowerFall Ascension

nixprof. A Nix build graph profiler

do-supplement. Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"

nale. Nix + Lean = Nale

macro-supplement. Supplemental material for the "Beyond Notations" paper

masters-thesis. TeX

HoTT-book-agda. Agda proofs of the HoTT book exercises

aoc-2021. not meant as an instruction manual

alectryon. A collection of tools for writing technical documents that mix Coq code and prose.

aoc-2022. aoc-2022

semantics-lean. Lean

err-sedbot. errbot plugin for executing simple sed substitute commands

nusski-replayer. Ein Replay-Viewer für das April-2011-Turnier der EE in CoffeeScript

dotfiles. .config/

i3lock. C

lakeprof. Python

edgemonkey. EM is a user script extending the usability of the programmers commutity Entwickler-Ecke.de

syntax. Lean

elan. A Lean version manager

top-comment-err. errbot plugin that responds to posted links with the respective reddit top comment

Floyd. (Parallel) implementation of Floyd-Steinberg dithering for Programming course 2011

light-cycle. Quick`n`dirty 2 player game for the BlackBerry PlayBook Tablet Offer 2012

isabelle-zfc. Simplistic Formalization of ZFC in Isabelle

ca-datastructs. Proseminar about implementing simple data structures in cellular automata

etc. /etc files of a Lenovo ThinkPad T430

err-cah. A Cards Against Humanity bot plugin for err-bot

nusski-cs-client. Ein C#-Client für das April-2011-Turnier der Entwickler-Ecke

err-babble-bot. Markov chain-based Err plugin for nonsense generation

nix. Nix, the purely functional package manager