annenkov/dataflow-samples
Some examples of dataflow analysis
A simple program specializer (based on partial evaluation) for a subset of Scheme. It includes a binding time analyzer, a residual program generator and an arity raiser.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Some examples of dataflow analysis
Symbolic financial contract EDSL
SC Mini is a "minimal" positive supercompiler
Interpreter for a first-order functional language in Scala