samuelsleight/agda-stackcalc
A stack calculator type thing in agda
Public GitHub Catalog
Discovered Nov 3, 2026
samuelsleight / banter
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.
#51203611GitHub System ID
samuelsleightOrganization / User
PublicVisibility
ActiveCatalog Status
More from samuelsleight
samuelsleight/squid
constexpr vectors and matrices in C++
samuelsleight/piston-examples
A collection of examples using the Piston game engine
samuelsleight/teabag-rs
Public repository.