deeglaze/rust
a safe, concurrent, practical language
Some formula munging functions.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
a safe, concurrent, practical language
Language Interpreter and Model Producer (LIMP): the abstracting abstract machines machine for abstract machines.
A reference implementation for a fast abstract interpreter, using the mcfa allocation strategy.
A redex-inspired language of operational semantics with an automatic "abstracting abstract machines" transformation.