akissinger

Pinned Repositories

chyp
An interactive theorem prover for string diagrams
Language:Python108 6 25
dodo
A graphical, hackable email client based on notmuch
Language:Python103 6 3511
htpad
A super-simple HTML notepad for handwritten notes
Language:HTML1 5 00
kod
Programmers' editor for OS X
Language:Objective-C1 3 00
latex-template
Language:TeX1 3 00
PolyChrome
PolyChrome is a Firefox extension that can run Standard ML programs embedded in HTML documents
Language:JavaScript3 4 00
polygtk
A minimal set of GTK+2.0 bindings for Poly/ML
Language:Ruby1 3 00
pypn
A graphical MLL+MIX theorem prover and proof net library
Language:Jupyter Notebook60
quanto-tensor
Formalising Quantomatic-style graph rewrite theories using abstract tensor notation in Nominal Isabelle
3 4 00
sublime-polyml
Poly/ML Package for Sublime Text 2
Language:Python6 3 21

akissinger's Repositories

akissinger/chyp
An interactive theorem prover for string diagrams
Language:Python108 6 25
akissinger/dodo
A graphical, hackable email client based on notmuch
Language:Python103 6 3511
akissinger/pypn
A graphical MLL+MIX theorem prover and proof net library
Language:Jupyter Notebook60
akissinger/sublime-polyml
Poly/ML Package for Sublime Text 2
Language:Python6 3 21
akissinger/PolyChrome
PolyChrome is a Firefox extension that can run Standard ML programs embedded in HTML documents
Language:JavaScript3 4 00
akissinger/quanto-tensor
Formalising Quantomatic-style graph rewrite theories using abstract tensor notation in Nominal Isabelle
3 4 00
akissinger/htpad
A super-simple HTML notepad for handwritten notes
Language:HTML1 5 00
akissinger/kod
Programmers' editor for OS X
Language:Objective-C1 3 00
akissinger/latex-template
Language:TeX1 3 00
akissinger/polygtk
A minimal set of GTK+2.0 bindings for Poly/ML
Language:Ruby1 3 00
akissinger/pyfolderol
A toy interactive theorem prover in Python
Language:Python1
akissinger/sublime-text-2-ak
Sublime Text 2 package for miscellaneous useful commands
Language:Python1 3 00
akissinger/book
A textbook on informal homotopy type theory
Language:Python3 0
akissinger/element-web
A glossy Matrix collaboration client for the web.
Language:HTML2 0
akissinger/f2linalg
A simple F2-linear algebra library
Language:Python
akissinger/linguist
Language Savant. If your repository's language is being reported incorrectly, send us a pull request!
Language:Ruby3 0
akissinger/matrix-react-sdk
Matrix SDK for React Javascript
Language:JavaScript3 0
akissinger/notmuch-vim
Plug-in for vim to use notmuch
Language:Vim script2 0
akissinger/pyzx-scripts
Benchmarks and experiments based on PyZX
Language:Makefile3 0
akissinger/unitaryhackdev
Website for the unitaryHACK hackathon series
Language:CSS2 0