dqviet/reflection-proofs
Playing around with reflection in Agda. Since version 2.2.8 we have simple quoting and unquoting, and it turns out you can do some pretty cool shit.
Public GitHub Catalog
Discovered Sep 27, 2026
dqviet / computational-fluid-dynamics-cookbook
Public repository discovered through GitHub real-time crawl.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10884531GitHub System ID
dqvietOrganization / User
PublicVisibility
ActiveCatalog Status