soarlab/gelpia
Rigorous Global Branch-and-Bound Optimizer
Public GitHub Catalog
Discovered Sep 30, 2026
soarlab / FPTaylor
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#19587954GitHub System ID
soarlabOrganization / User
PublicVisibility
ActiveCatalog Status
More from soarlab
soarlab/Gklee
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
soarlab/maline
Android Malware Detection Framework
soarlab/KULFI
LLVM Instruction Level Fault Injector