moy/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Public GitHub Catalog
Discovered Oct 3, 2026
moy / PWG_Stuffs
Public repository discovered through GitHub real-time crawl.
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.
#26407966GitHub System ID
moyOrganization / User
PublicVisibility
ActiveCatalog Status
More from moy
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
moy/git-multimail
Send notification emails for pushes to a git repository (an improved version of post-receive-mail)