aristidb/lens-agda
Understanding lenses with the help of Agda
Public GitHub Catalog
Discovered Sep 24, 2026
aristidb / cppbash
C++ Bash - Quotes from the C++ world
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.
#594435GitHub System ID
aristidbOrganization / User
PublicVisibility
ActiveCatalog Status
More from aristidb
aristidb/arith-coding
Experiment with arithmetic coding in Haskell
aristidb/kv-agda
Experiments with sorted associative data structures in Agda
aristidb/dcpu16-hs
Public repository.