There are no reviews yet. Be the first to send feedback to the community and the maintainers!
sudoku
A sudoku game where you have to prove that your deductions are validlean-homological-algebra
Lean formalizations of things loosely related to homological algebraEZKey
A C#.NET/WPF application for live streamers of real time strategy games to visualize their keyboard usageHuffmanEncoding
Huffman Encoding in C#Morris
.NET GUI for Nine Men's MorrisMalom2Morris
Dieses Repository enthält eine modifizierte Version des Quellcodes von Malom3 sowie die Malom2Morris-BrückeAbschlussaufgaben-Tests1
Sammlung von Tests für die Abschlussaufgabe, die die gesamte Nutzerinteraktion testenLLVMTypeID
A convenient way of generating an llvm::Typeaoc2021
lean4-afl
Various scripts and data files I use to test Lean 4 using AFLjoules-utils
Custom API for NightbotLove Open Source and this site? Check out how you can help us