ramsdell/cpsa
Cryptographic Protocol Shapes Analyzer (CPSA)
Public GitHub Catalog
Discovered Sep 25, 2026
ramsdell / gtksudoku
GTK Sudoku eliminates much of the drudgery of solving a Sudoku puzzle and provides educational tips should the path to the solution become obscured.
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.
#4733672GitHub System ID
ramsdellOrganization / User
PublicVisibility
ActiveCatalog Status
More from ramsdell
ramsdell/pvs-strand-spaces
PVS Strand Spaces
ramsdell/saa
Streets and Alleys Solitaire
ramsdell/cmu
Unification in a Commutative Monoid