idkwim/scouter
Open Source S/W Performance Monitoring
Public GitHub Catalog
Discovered Sep 30, 2026
idkwim / z3-playground
A repository to store Z3-python scripts you can use as examples, reminders, whatever.
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.
#17926109GitHub System ID
idkwimOrganization / User
PublicVisibility
ActiveCatalog Status
More from idkwim
idkwim/SUIDGuard
SUIDGuard - a TrustedBSD Kernel Extension that adds mitigations to protect SUID/SGID processes a bit more
idkwim/MIEngine
The Visual Studio MI Debug Engine ("MIEngine") provides an open-source Visual Studio Debugger extension that works with MI-enabled debuggers such as gdb, lldb, and clrdbg.
idkwim/pysmt
pySMT: A library for SMT formulae manipulation and solving