sadger/depqbf
DepQBF, a solver for quantified boolean formulae (QBF).
Public GitHub Catalog
Discovered Oct 3, 2026
sadger / htop
htop is an interactive text-mode process viewer for Linux. It aims to be a better 'top'.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#26889175GitHub System ID
sadgerOrganization / User
PublicVisibility
ActiveCatalog Status
More from sadger
sadger/CorsixTH-Graphics
New graphics for CorsixTH to replace the ones from Theme Hospital
sadger/mage
Magic Another Game Engine
sadger/owlapi
OWL API main repository