truedata-jim/jdep
A tool to help javac and make play nicely together
Public GitHub Catalog
Discovered Sep 27, 2026
truedata-jim / 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.
#10835158GitHub System ID
truedata-jimOrganization / User
PublicVisibility
ActiveCatalog Status
More from truedata-jim
truedata-jim/node-http-mitm-proxy
HTTP Man In The Middle (MITM) Proxy
truedata-jim/node-mitm-proxy
Node.js Man-in-the-middle http and https proxy