greenTara/cats
Lightweight, modular, and extensible library for functional programming.
Public GitHub Catalog
Discovered Oct 7, 2026
greenTara / book
A textbook on informal homotopy type theory
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.
#35335618GitHub System ID
greenTaraOrganization / User
PublicVisibility
ActiveCatalog Status
More from greenTara
greenTara/kungfunctional
tests of JVM-based functional programming libraries
greenTara/DOL
The Distributed Ontology, Modeling and Specification Language (DOL) - an answer to the OMG RFP OntoIOp. View the latest version here: https://github.com/tillmo/DOL/raw/master/Standard/ebnf-OMG_OntoIOp_current.pdf. Homepage of OntoIOp is
greenTara/OntoMaven
Maven-based ontology development and management of ontology artifacts in distributed ontology repositories.