index
NameDescriptionOwnerIdle
CNF_RamseyRepresent problems in Ramsey Theory as CNF statements.Jeff Heiges3 months
DiplomacyUpdate https://github.com/diplomacy/diplomacyJeff Heiges3 months
MNISTLeNet-5-derivative classifies MNIST digitsJeff Heiges3 months
MersenneEfficiently find Mersenne primesJeff Heiges3 months
RISC_AssemblerTranslate RV32I assembly into machine codeJeff Heiges3 months
SudokuGenerate every sudoku boardJeff Heiges3 months