moy/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Public GitHub Catalog
Discovered Oct 2, 2026
moy / piwigo-random
Insert random pictures from a Piwigo gallery on a website
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.
#24558535GitHub System ID
moyOrganization / User
PublicVisibility
ActiveCatalog Status
More from moy
moy/PWG_Stuffs
Public repository.
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)