nevrenato/HetsAlloy
Adds Alloy to Hets
Public GitHub Catalog
Discovered Sep 26, 2026
nevrenato / Hybrid_package
Hybrid Provers Package
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.
#6201832GitHub 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