prodigeni/learn-you-an-agda
Learn you an Agda (and achieve enlightenment)
Public GitHub Catalog
Discovered Sep 30, 2026
prodigeni / Truthcoin
Trustless and Decentralized Bitcoin Prediction Marketplace
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.
#19424633GitHub System ID
prodigeniOrganization / User
PublicVisibility
ActiveCatalog Status
More from prodigeni
prodigeni/tutanota
Tutanota is the end-to-end encrypted mail client that enables you to communicate securely with anyone.
prodigeni/darling
Darwin/OS X emulation layer for Linux
prodigeni/deep-pink
Public repository.