Highlights
- Pro
-
synth Public
Forked from shack/synthAn implementation of the Gulwani et al PLDI'11 loop-free program synthesis algorithm
Python MIT License UpdatedNov 27, 2024 -
-
-
groebner-minimization Public
A prototype implementation of the paper "Gröbner Bases for Boolean Function Minimization" in SageMath.
Python UpdatedOct 15, 2024 -
-
-
-
domjudge Public
Forked from DOMjudge/domjudgeDOMjudge programming contest jury system
PHP GNU General Public License v2.0 UpdatedApr 5, 2020 -
RsaCtfTool Public
Forked from RsaCtfTool/RsaCtfToolRSA attack tool (mainly for ctf) - retreive private key from weak public key and/or uncipher data
Python UpdatedNov 15, 2018 -
WearSchoolClock Public
Just a simple Android Wear-App that gives you access to nice features as a student.
Java UpdatedJun 27, 2016