petermikitsh/dining-trader
An open market for trading dining dollars and cash.
Public GitHub Catalog
Discovered Sep 26, 2026
petermikitsh / cafe
SE420 (Formal Methods) Project 2: Modeling shared, mutable state in a concurrent application using Promela
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.
#8254299GitHub System ID
petermikitshOrganization / User
PublicVisibility
ActiveCatalog Status
More from petermikitsh
petermikitsh/fuzzer
Web Application Fuzz Testing Tool for SE 331 Engineering Secure Software
petermikitsh/pyrite
Only a fool would checkout this project.
petermikitsh/graphics
Solutions to CSCI-510 projects