vzaccaria/idris-crypto
Implementation of cryptographic primitives using Idris
Public GitHub Catalog
Discovered Oct 5, 2026
vzaccaria / gitbook2edx-octave-helper
Public repository discovered through GitHub real-time crawl.
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.
#30697900GitHub System ID
vzaccariaOrganization / User
PublicVisibility
ActiveCatalog Status
More from vzaccaria
vzaccaria/language-octave-hs
A Parsec Octave language spec
vzaccaria/clash-sandbox
Public repository.
vzaccaria/wordspread
Publish a link from the CLI to Hacker News and Reddit