greenTara/book
A textbook on informal homotopy type theory
Public GitHub Catalog
Discovered Sep 26, 2026
greenTara / OOjDREW
OO jDREW: the object oriented extension of the Java Deductive Reasoning Engine for the Web (jDREW)
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.
#5733866GitHub 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