akissinger/quanto-tensor
Formalising Quantomatic-style graph rewrite theories using abstract tensor notation in Nominal Isabelle
Public GitHub Catalog
Discovered Sep 30, 2026
akissinger / linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#18363826GitHub System ID
akissingerOrganization / User
PublicVisibility
ActiveCatalog Status
More from akissinger
akissinger/book
A textbook on informal homotopy type theory
akissinger/polygtk
A minimal set of GTK+2.0 bindings for Poly/ML
akissinger/sublime-text-2-ak
Sublime Text 2 package for miscellaneous useful commands