Popular repositories Loading
-
COMP6441-Project
COMP6441-Project PublicCOMP6441 project: an educational Flask-based SQL injection CTF comparing vulnerable SQL queries with parameterised queries.
HTML
-
k16-pisa-terminal-search
k16-pisa-terminal-search PublicReproducible CP-SAT search for the 18 K16 Pisa tournament terminal boxes, with parallel GitHub Actions and auditable artifacts.
Python
-
water-sort-counterexample
water-sort-counterexample PublicExact Water Sort oracle and parallel search for a 5x16 counterexample
C++
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.