ssaavedra/irparser
A transformer from a desugared version of Erlang into the CAVIART's IR
Public GitHub Catalog
Discovered Sep 24, 2026
ssaavedra / casadomotica-arduino
Sketchs diversos para Arduino para usar posteriormente en la casa domótica
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.
#1685910GitHub System ID
ssaavedraOrganization / User
PublicVisibility
ActiveCatalog Status
More from ssaavedra
ssaavedra/liquidhaskell
Liquid Types For Haskell
ssaavedra/cavi-art-packer-recipe
Public repository.
ssaavedra/why3
Mirroring https://scm.gforge.inria.fr/anonscm/git/why3/why3.git with some lag