ssaavedra/irparser
A transformer from a desugared version of Erlang into the CAVIART's IR
Public repository discovered through GitHub real-time crawl.
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A transformer from a desugared version of Erlang into the CAVIART's IR
Liquid Types For Haskell
Mirroring https://scm.gforge.inria.fr/anonscm/git/why3/why3.git with some lag
The Galician Anthem.