phadej/agda-summer-school
Summer school on programming in Agda
Public GitHub Catalog
Discovered Oct 1, 2026
phadej / compojure-api
Swaggered Compojure Web Apis
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.
#21118660GitHub System ID
phadejOrganization / User
PublicVisibility
ActiveCatalog Status
More from phadej
phadej/menrva
Ambitious data-flow library
phadej/david-www
David helps keep your Nodejs project dependencies up to date.
phadej/ring-swagger
Swagger Spec for Clojure Ring Apps