index
NameDescriptionOwnerIdle
CNF_RamseyConvert Ramsey problem statements into SAT statements, which can be evaluated wi...Jeff Heiges
DiplomacyUpdate https://github.com/diplomacy/diplomacyJeff Heiges11 months
MNISTLeNet-5-derivative classifies MNIST digitsJeff Heiges11 months
RISC_AssemblerTranslate RV32I assembly into machine codeJeff Heiges11 months
SudokuGenerate every sudoku boardJeff Heiges11 months
generated by cgit v1.2.3 (git 2.39.1) at 2026-02-03 09:03:25 +0000