daajoe's repositories
Language:JavaScriptMIT000
Language:PythonMIT000
signxml
Python XML Signature and XAdES library
Apache-2.0000
pyHanko
pyHanko: sign and stamp PDF files
MIT000
Language:PythonGPL-3.0000
reprobench
📊 Reproducible Benchmark for Everyone
MIT000
sharptrace
A trace checker for #SAT traces
000
htd_validate
Checker for hypertree decompositions
000
Language:PythonGPL-3.0000
dynasp_experiments
Experiments for the dynasp solver
GPL-3.0000
AGPL-3.0000
Language:C++GPL-3.0000
Language:ShellGPL-3.0000
runsolver
runsolver by Olivier ROUSSEL
Language:C++GPL-3.0000
Language:PythonGPL-3.0000
pace2019_vc_instances
Original Instances for the PACE2019 Challenge
Language:Python000
Language:PythonGPL-2.0000
Language:PythonGPL-3.0000
pdfjinja
This is my fork of pdfjinja. I am not the author of this library.
Language:PythonMIT000
sudoku
Read numbers from sudoku image
000
LaTeX-proposal
The Proposal package for LaTeX
000
GPL-3.0000
Language:C++GPL-2.0000
Language:C++GPL-2.0000