dslab-epfl/chef
The Chef symbolic execution platform, based off S2E
Public GitHub Catalog
Discovered Sep 25, 2026
dslab-epfl / cloud9-boolector
Mirror of the Cloud9 Boolector repository
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.
#5177722GitHub System ID
dslab-epflOrganization / User
PublicVisibility
ActiveCatalog Status
More from dslab-epfl
dslab-epfl/symbex-smt-queries
A collection of SMT queries arising in symbolic execution workloads
dslab-epfl/jagr
Automatically exported from code.google.com/p/jagr
dslab-epfl/warr
Automatically exported from code.google.com/p/warr