akissinger/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Developer Profile
akissinger
Discovered public repositories for akissinger in the GitHub catalog.
akissinger/quanto-tensor
Formalising Quantomatic-style graph rewrite theories using abstract tensor notation in Nominal Isabelle
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
akissinger/sublime-polyml
Poly/ML Package for Sublime Text 2
akissinger/kod
Programmers' editor for OS X
akissinger/PolyChrome
PolyChrome is a Firefox extension that can run Standard ML programs embedded in HTML documents