annenkov/dataflow-samples
Some examples of dataflow analysis
Developer Profile
annenkov
Discovered public repositories for annenkov in the GitHub catalog.
annenkov/contracts
Symbolic financial contract EDSL
annenkov/sc-mini
SC Mini is a "minimal" positive supercompiler
annenkov/scala-sll
Interpreter for a first-order functional language in Scala
annenkov/sll-meta-racket
Metacomputation in Racket
annenkov/stratego-sll
An interpreter and minimal supercompiler for simple lazy language (first-order functional language) written in Stratego transformation language (Spoofax language workbench).
annenkov/cropzoom
Public repository.
annenkov/unmix
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.