greenTara/book
A textbook on informal homotopy type theory
Public GitHub Catalog
Discovered Oct 14, 2026
greenTara / Java4CL
A Java library for ISO Common Logic ontologies.
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.
#37492026GitHub 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