nevrenato/HetsAlloy
Adds Alloy to Hets
Public GitHub Catalog
Discovered Sep 27, 2026
nevrenato / HTab2HCASL
A translator that given an input file in hylolib format, returns another with an equivalent specification in HCASL
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#10710076GitHub 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