cantsin/agda-experiments
Playing around with Agda.
Public GitHub Catalog
Discovered Oct 7, 2026
cantsin / splashy
A fluid simulator in F#.
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.
#34485351GitHub System ID
cantsinOrganization / User
PublicVisibility
ActiveCatalog Status
More from cantsin
cantsin/katakuri
A Slack bot, written in Elixir.
cantsin/gnucash-tools
Public repository.
cantsin/pcg
Procedural content generation experiments, written in Rust.