nevrenato/HetsAlloy
Adds Alloy to Hets
Public GitHub Catalog
Discovered Sep 26, 2026
nevrenato / Hets_Fork
A new branch of Hets, where I extend it with new functionalities, in the context of my Thesis
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.
#5854908GitHub System ID
nevrenatoOrganization / User
PublicVisibility
ActiveCatalog Status
More from nevrenato
nevrenato/HTab2HCASL
A translator that given an input file in hylolib format, returns another with an equivalent specification in HCASL
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