chubbymaggie/DFENCE
Dynamic Analysis and Synthesis System for Relaxed Memory Models
Public GitHub Catalog
Discovered Oct 7, 2026
chubbymaggie / droidel
Framework model for static analysis of Android
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.
#36597379GitHub System ID
chubbymaggieOrganization / User
PublicVisibility
ActiveCatalog Status
More from chubbymaggie
chubbymaggie/OptOctagon
An Optimized implementation of the Octagon Abstract Domain
chubbymaggie/Nice2Predict
Learning framework for program property prediction
chubbymaggie/itake-2015
Code and slides for my I TAKE 2015 presentation