Jan Jakubuv's repositories
git-auto-version
Automated version tagging and ChangeLog generator for git projects.
Language:PythonUnlicense000
Language:CNOASSERTION000
Language:PythonGPL-3.0000
Language:Python000
Language:PythonGPL-3.0000
pysolve
Benchmarking Tools for Autometed Solvers
Language:PythonGPL-3.0000
enigma
ENIGMA: Inference Guiding Machine
Language:PythonGPL-3.0000
atpy
Python Library for PARG ATP Projects
Language:PythonGPL-3.0000
Language:CGPL-2.0000