sadger/htop
htop is an interactive text-mode process viewer for Linux. It aims to be a better 'top'.
Public GitHub Catalog
Discovered Oct 3, 2026
sadger / depqbf
DepQBF, a solver for quantified boolean formulae (QBF).
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.
#26884095GitHub 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