nevrenato/HTab2HCASL
A translator that given an input file in hylolib format, returns another with an equivalent specification in HCASL
Public GitHub Catalog
Discovered Sep 30, 2026
nevrenato / HetsAlloy
Adds Alloy to Hets
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.
#19310743GitHub System ID
nevrenatoOrganization / User
PublicVisibility
ActiveCatalog Status
More from nevrenato
nevrenato/IRI_FMI_Annex
This repository contains an Alloy model of a DCR graph, along with its encoding to CASL
nevrenato/HyLoRes_Source
This is an updated version of the HyLoRes source code
nevrenato/Hybrid_package
Hybrid Provers Package