TobiasMende/go-run-verify
Demo of a modular runtime verification system in go
Public GitHub Catalog
Discovered Oct 1, 2026
TobiasMende / itm-utils
Various utitlity classes
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.
#21343481GitHub System ID
TobiasMendeOrganization / User
PublicVisibility
ActiveCatalog Status
More from TobiasMende
TobiasMende/dotfiles
My dotfiles
TobiasMende/tool_lists
Links to tools by subject
TobiasMende/TeXtended
TeXtended is an all new LaTeX Editor written for OS X in Objective C. It’s free and beta, so feel free to test the app and contact us for feature requests and issue reports.