gondree/tcb-subsets
Event B model for TCB Subset Concepts
Public GitHub Catalog
Discovered Oct 7, 2026
gondree / class
Repository for assignments
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#35527127GitHub System ID
gondreeOrganization / User
PublicVisibility
ActiveCatalog Status
More from gondree
gondree/course-scripts
Helper scripts for courses I teach
gondree/libpdp
An experimental library for PDP and POR
gondree/mls-selinux-verify
A simple unit test for unidirectional information flow in the SELinux MLS policy