Janno/agda-summer-school
Summer school on programming in Agda
Public GitHub Catalog
Discovered Sep 25, 2026
Janno / LoCL
Limits of Computational Learning
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.
#4134043GitHub 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