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