notogawa/CoPL
CoPL using agda
Google C++ Testing Framework mirror
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
CoPL using agda
A typed template engine, subset of jinja2
Type-level sets for Haskell (with value-level counterparts and various operations)
agda --interactive websocket server