published Published 6 months ago
MARTINI: The Little Match and Replace Tool for Automatic Code Rewriting
C++ JavaScript Python
published Published 6 months ago
SimSGamE : Scheduling simulator for modern game engines
C++ Jupyter Notebook Python
published Published 6 months ago
Mallob: Scalable SAT Solving On Demand With Decentralized Job Scheduling
Dockerfile Python
published Published 6 months ago
Accelerating Parallel Operation for Compacting Selected Elements on GPUs
Python Cuda
published Published 7 months ago
Starmatrix: Modelling nucleosynthesis of galactic chemical elements
Python
published Published 10 months ago
hilbertmodgroup: Reduction algorithms and framework for Hilbert Modular Groups
Dockerfile Python
published Published 11 months ago
QDistRnd: A GAP package for computing the distance of quantum error-correcting codes
GAP
published Published 11 months ago