hassansalehe/evalimine
e-hääletamise tarkvara
Public GitHub Catalog
Discovered Sep 27, 2026
hassansalehe / OneThirdRuleVerifier
PROMELA source code to verify a distributed consensus algorithm called "One-Third Rule Consensus Algorithm".
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.
#10298175GitHub System ID
hassansaleheOrganization / User
PublicVisibility
ActiveCatalog Status
More from hassansalehe
hassansalehe/tsx-tools
Utilities for TSX development/testing
hassansalehe/RestApiTutorial.com
HTML Source code for www.RestApiTutorial.com
hassansalehe/SketchySoft
A system for software programming using sketch recognition.