idkwim/pysmt
pySMT: A library for SMT formulae manipulation and solving
Public GitHub Catalog
Discovered Oct 18, 2026
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.
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.
#39436448GitHub System ID
idkwimOrganization / User
PublicVisibility
ActiveCatalog Status
More from idkwim
idkwim/ChromeFuzzer
fuzz
idkwim/PEPS
Open source Email + File sharing with end-to-end encryption
idkwim/ictf-framework
The iCTF Framework, presented by the UC Santa Barbara Computer Security Lab!