Filiq/killer-sudoku-sat
Solving Killer Sudoku using SAT solver
Solving Killer Sudoku using SAT solver
Python CLI tool to generate crosswords as HTML and PDF, supports custom dictionaries.
sner -- slow network recon
Cvičení pro pana učitele, hlavně main.py
Jednoduchá webová stránka pro procvičování azbuky.
React QR code encoder/decoder
100 algorithms with solutions in typescript
50 small web projects using HTML, CSS and JS
Translations for LoginSecurity