moy/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Public GitHub Catalog
Discovered Oct 6, 2026
moy / git.github.io
Git Developer Site
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.
#32723909GitHub System ID
moyOrganization / User
PublicVisibility
ActiveCatalog Status
More from moy
moy/PWG_Stuffs
Public repository.
moy/piwigo-random
Insert random pictures from a Piwigo gallery on a website
moy/ASynK
Flexible Bi-directional sync for Emacs BBDB, Google Contacts, and MS Outlook