ssaavedra/irparser
A transformer from a desugared version of Erlang into the CAVIART's IR
Public GitHub Catalog
Discovered Nov 3, 2026
ssaavedra / why3
Mirroring https://scm.gforge.inria.fr/anonscm/git/why3/why3.git with some lag
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.
#51854585GitHub System ID
ssaavedraOrganization / User
PublicVisibility
ActiveCatalog Status
More from ssaavedra
ssaavedra/liquidhaskell
Liquid Types For Haskell
ssaavedra/cavi-art-packer-recipe
Public repository.
ssaavedra/os-pinos
The Galician Anthem.