dslab-epfl/bugbase
A framework to reproduce known bugs in major systems software and do performance benchmarking of various bug finding tools
Public GitHub Catalog
Discovered Sep 29, 2026
dslab-epfl / sweng-hw6-grader
A small webapp that computes scores for SwEng 2013 Homework 6
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.
#14985628GitHub System ID
dslab-epflOrganization / User
PublicVisibility
ActiveCatalog Status
More from dslab-epfl
dslab-epfl/s2e-guest
S2E guest utilities
dslab-epfl/chef
The Chef symbolic execution platform, based off S2E
dslab-epfl/symbex-smt-queries
A collection of SMT queries arising in symbolic execution workloads