moy/PWG_Stuffs
Public repository.
Public GitHub Catalog
Discovered Oct 3, 2026
moy / kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
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.
#28192214GitHub 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)