moy/kind2
Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
Public GitHub Catalog
Discovered Sep 24, 2026
moy / cours-ldb
Cours de Logiciel de Base en Ensimag Apprentissage
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.
#1328311GitHub 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