ecthiender/proto-pantoto
Prototype implementation of Pantoto using Pi-calculus
Public GitHub Catalog
Discovered Oct 7, 2026
ecthiender / annotator
Annotation tools for the web. Select text, images, or (nearly) anything else, and add your notes.
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.
#34608608GitHub System ID
ecthienderOrganization / User
PublicVisibility
ActiveCatalog Status
More from ecthiender
ecthiender/audio-anno
Annotate audio and make swts out of them
ecthiender/MusicGen
Web apps to teach musical concepts
ecthiender/test
This is a dummy repo to test GitHub Webhooks