cadesalaberry/CSPElevator
A non-trivial system based on CSP of an elevator simulation.
Public GitHub Catalog
Discovered Sep 26, 2026
cadesalaberry / temperature
[ECSE321] (12F) Assignments
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.
#5942274GitHub System ID
cadesalaberryOrganization / User
PublicVisibility
ActiveCatalog Status
More from cadesalaberry
cadesalaberry/DFA
A DFA that recognises a hardcoded Regular Expression using Optimistic Threading.
cadesalaberry/EliminationStack
Public repository.
cadesalaberry/BillTestBench
Testing a state machine of a bill in Canadian parliament.