gondree/tcb-subsets
Event B model for TCB Subset Concepts
Public GitHub Catalog
Discovered Sep 27, 2026
gondree / mls-selinux-verify
A simple unit test for unidirectional information flow in the SELinux MLS policy
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.
#11048963GitHub System ID
gondreeOrganization / User
PublicVisibility
ActiveCatalog Status
More from gondree
gondree/class
Repository for assignments
gondree/course-scripts
Helper scripts for courses I teach
gondree/libpdp
An experimental library for PDP and POR