deeglaze/datalog-compiler
Some formula munging functions.
Public GitHub Catalog
Discovered Oct 7, 2026
deeglaze / rust
a safe, concurrent, practical language
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#34271755GitHub System ID
deeglazeOrganization / User
PublicVisibility
ActiveCatalog Status
More from deeglaze
deeglaze/limp
Language Interpreter and Model Producer (LIMP): the abstracting abstract machines machine for abstract machines.
deeglaze/small-mcfa
A reference implementation for a fast abstract interpreter, using the mcfa allocation strategy.
deeglaze/AAM-ify
A redex-inspired language of operational semantics with an automatic "abstracting abstract machines" transformation.