TwoFX

sudoku

A sudoku game where you have to prove that your deductions are valid

lean-homological-algebra

Lean formalizations of things loosely related to homological algebra

Abschlussaufgaben-Tests1

Sammlung von Tests für die Abschlussaufgabe, die die gesamte Nutzerinteraktion testen

aoc2021

aoc2022

HashMap

joules-utils

Custom API for Nightbot

lean4-afl

Various scripts and data files I use to test Lean 4 using AFL

Lernzettel

EmbeddingTheorem

A lecture on a proof of the Freyd-Mitchell Embedding Theorem

supreme-pancake

Technical report on the architecture of the GUI of the Windows operating system

Abschlussaufgaben-Tests2

Tests für die zweite Abschlussaufgabe

aoc2019

ChaosKITs

Team Contest Reference and additional material for Team ChaosKITs

DataStructures

dicegame

dotnet-docker

This repo contains the base Docker images for working with .NET Core and the .NET Core Tools.

lean

Lean Theorem Prover

lean-dpll

A formally verified implementation of the DPLL algorithm

lean-logic

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

leanprover-contrib

lect

Tool for organizing lecture notes

mathlib-tools

Development tools for https://github.com/leanprover-community/mathlib

merlin-hunt

A puzzle hunt for people who know how to program

mitschriebwiki

Source for http://mitschriebwiki.nomeata.de/

partiii

Lecture notes for Part III of the Mathematical Tripos

quarkus

Quarkus: Supersonic Subatomic Java.

resteasy-reactive-large-request-bug

twofx.github.io