TobiasMende/go-run-verify
Demo of a modular runtime verification system in go
Public GitHub Catalog
Discovered Sep 30, 2026
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.
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.
#19184292GitHub System ID
TobiasMendeOrganization / User
PublicVisibility
ActiveCatalog Status
More from TobiasMende
TobiasMende/dotfiles
My dotfiles
TobiasMende/tool_lists
Links to tools by subject
TobiasMende/itm-utils
Various utitlity classes