GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ partial-evaluators
Top 1 partial-evaluators open source projects
OCCAM
OCCAM: Object Culling and Concretization for Assurance Maximization
✭ 20
llvm
static-analysis
abstract-interpretation
pointer-analysis
partial-evaluators
debloating
delayering
1-1
of
1
partial-evaluators projects
