Janno/agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
Public GitHub Catalog
Discovered Sep 24, 2026
Janno / cardshuffle
Real-time Strategy Game simulation of enemy wizard parties
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.
#907386GitHub System ID
JannoOrganization / User
PublicVisibility
ActiveCatalog Status
More from Janno
Janno/agda-summer-school
Summer school on programming in Agda
Janno/agda-reglang
A formalization of regular languages in agda with a focus on making use of dependent types
Janno/flup-py3.3
A Python 3.3 compatible clone of http://hg.saddi.com/flup-py3.0