annenkov/contracts
Symbolic financial contract EDSL
Some examples of dataflow analysis
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Symbolic financial contract EDSL
SC Mini is a "minimal" positive supercompiler
Interpreter for a first-order functional language in Scala
Metacomputation in Racket