A tool converting a given sudoku into DIMACS CNF to be solved with a SAT solver, and reverting the solution from the SAT solver back into an easy readable sudoku visualitsation
Updated 2024-06-10 18:42:14 +02:00
A npm package that handles uptime monitoring using Uptime Kumas push monitor
Updated 2024-02-15 11:00:46 +01:00
A Discord bot that checks Discord channel names for banned words and prevents renaming of them
Updated 2024-02-15 10:55:54 +01:00