Giters
equalities
There are 0 repository under equalities topic.
Stranger2015
/
PscC
Perfect super compiler Collection
transformer
specializer
optimizer
source-to-source
constraints
disequality
equalities
inequality
supercompiler
driving
abstract-interpretation
partial-evaluator
Language:
Prolog
Stargazers:
1