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