jmchapman/categories
A category theory library for Agda
ITT8060 Advanced Programming
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
A category theory library for Agda
The Agda standard library
Easy to use F# wrapper for Google Charts visualization library
Public repository.