greenTara/book
A textbook on informal homotopy type theory
Public GitHub Catalog
Discovered Sep 30, 2026
greenTara / OntoMaven
Maven-based ontology development and management of ontology artifacts in distributed ontology repositories.
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.
#19461224GitHub System ID
greenTaraOrganization / User
PublicVisibility
ActiveCatalog Status
More from greenTara
greenTara/cats
Lightweight, modular, and extensible library for functional programming.
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