cojocar/vmchecker
Automatic assignment checker
Public GitHub Catalog
Discovered Oct 5, 2026
cojocar / klee
KLEE Symbolic Virtual Machine
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.
#29775569GitHub System ID
cojocarOrganization / User
PublicVisibility
ActiveCatalog Status
More from cojocar
cojocar/avatar-gdbstub
GDB stub that allows debugging of embedded devices
cojocar/avatar-python
Dynamic security analysis of embedded systems’ firmwares
cojocar/s2e
S2E - A Platform for In-Vivo Multi-Path Software Analysis