andykitchen/curry-howard-iso
Example of the Curry Howard isomorphism
Public GitHub Catalog
Discovered Sep 29, 2026
andykitchen / nonaga
A Clojure implementation of the game Spanish table top game Nonaga.
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.
#16753090GitHub System ID
andykitchenOrganization / User
PublicVisibility
ActiveCatalog Status
More from andykitchen
andykitchen/health-hack
Gene Machine Health Hack Team Entry
andykitchen/example
Public repository.
andykitchen/sigma.js
an open-source lightweight JavaScript graph drawing library