nevrenato/HetsAlloy
Adds Alloy to Hets
Public GitHub Catalog
Discovered Sep 27, 2026
nevrenato / IRI_FMI_Annex
This repository contains an Alloy model of a DCR graph, along with its encoding to CASL
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.
#10230465GitHub 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/HyLoRes_Source
This is an updated version of the HyLoRes source code
nevrenato/Hybrid_package
Hybrid Provers Package