Pinned Repositories
mathlib4
The math library of Lean 4
EmbeddingTheorem
A lecture on a proof of the Freyd-Mitchell Embedding Theorem
EZKey
A C#.NET/WPF application for live streamers of real time strategy games to visualize their keyboard usage
HuffmanEncoding
Huffman Encoding in C#
lean-homological-algebra
Lean formalizations of things loosely related to homological algebra
Malom2Morris
Dieses Repository enthält eine modifizierte Version des Quellcodes von Malom3 sowie die Malom2Morris-Brücke
Morris
.NET GUI for Nine Men's Morris
sudoku
A sudoku game where you have to prove that your deductions are valid
supreme-pancake
Technical report on the architecture of the GUI of the Windows operating system
wavelength-ide
A browser-based IDE for the untyped lambda calculus. Try it:
TwoFX's Repositories
TwoFX/sudoku
A sudoku game where you have to prove that your deductions are valid
TwoFX/lean-homological-algebra
Lean formalizations of things loosely related to homological algebra
TwoFX/Abschlussaufgaben-Tests1
Sammlung von Tests für die Abschlussaufgabe, die die gesamte Nutzerinteraktion testen
TwoFX/aoc2021
TwoFX/aoc2022
TwoFX/joules-utils
Custom API for Nightbot
TwoFX/lean4-afl
Various scripts and data files I use to test Lean 4 using AFL
TwoFX/Lernzettel
TwoFX/EmbeddingTheorem
A lecture on a proof of the Freyd-Mitchell Embedding Theorem
TwoFX/supreme-pancake
Technical report on the architecture of the GUI of the Windows operating system
TwoFX/Abschlussaufgaben-Tests2
Tests für die zweite Abschlussaufgabe
TwoFX/aoc2019
TwoFX/ChaosKITs
Team Contest Reference and additional material for Team ChaosKITs
TwoFX/DataStructures
TwoFX/dicegame
TwoFX/dotnet-docker
This repo contains the base Docker images for working with .NET Core and the .NET Core Tools.
TwoFX/HashMap
TwoFX/lean
Lean Theorem Prover
TwoFX/lean-dpll
A formally verified implementation of the DPLL algorithm
TwoFX/lean-logic
TwoFX/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
TwoFX/leanprover-contrib
TwoFX/lect
Tool for organizing lecture notes
TwoFX/mathlib-tools
Development tools for https://github.com/leanprover-community/mathlib
TwoFX/merlin-hunt
A puzzle hunt for people who know how to program
TwoFX/mitschriebwiki
Source for http://mitschriebwiki.nomeata.de/
TwoFX/partiii
Lecture notes for Part III of the Mathematical Tripos
TwoFX/quarkus
Quarkus: Supersonic Subatomic Java.
TwoFX/resteasy-reactive-large-request-bug
TwoFX/twofx.github.io