Janno/agda-summer-school
Summer school on programming in Agda
Public GitHub Catalog
Discovered Sep 29, 2026
Janno / kblocks
Python script to check the existence of kblocks in many, many graphs
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.
#15310049GitHub System ID
JannoOrganization / User
PublicVisibility
ActiveCatalog Status
More from Janno
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
Janno/schema
Schema validation just got Pythonic