conal/talk-2013-understanding-parallel-scan
Talk: "Understanding efficient parallel scan"
Public GitHub Catalog
Discovered Sep 24, 2026
conal / type-unary
Type-level and typed unary natural numbers, vectors, inequality proofs
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.
#2644535GitHub System ID
conalOrganization / User
PublicVisibility
ActiveCatalog Status
More from conal
conal/talk-2014-lambdajam-denotational-design
Talk material for LambdaJam 2014/2015 on denotational design
conal/dict-test
Test HERMIT-based dictionary construction
conal/quotes
My favorite quotes