tshoang/eventb_intro
Materials for an Event-B introductory presentation based on the Event-B Book "Cars on a bridge" example (ch. 2)
Public GitHub Catalog
Discovered Sep 28, 2026
tshoang / vienna-rss
Vienna is a freeware, open source RSS/Atom newsreader for the Mac OS X operating system.
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.
#11950487GitHub System ID
tshoangOrganization / User
PublicVisibility
ActiveCatalog Status
More from tshoang
tshoang/response
A LaTeX class for typesetting responses to reviewers' comments
tshoang/abbrev
Public repository.
tshoang/reqdoc
LaTeX style for typesetting requirements document