This is your work, valued

Aleks Kissinger

Expert
@akissinger

chyp. An interactive theorem prover for string diagrams

129

dodo. A graphical, hackable email client based on notmuch

128

pypn. A graphical MLL+MIX theorem prover and proof net library

6

sublime-polyml. Poly/ML Package for Sublime Text 2

6

bitgauss. Fast boolean linear algebra library for Rust

6

PolyChrome. PolyChrome is a Firefox extension that can run Standard ML programs embedded in HTML documents

3

quanto-tensor. Formalising Quantomatic-style graph rewrite theories using abstract tensor notation in Nominal Isabelle

3

f2linalg. A simple F2-linear algebra library

2

stimcircuit. A Rust crate for reading Stim circuit files

2

htpad. A super-simple HTML notepad for handwritten notes

1

kod. Programmers' editor for OS X

1

latex-template. TeX

1

pyfolderol. A toy interactive theorem prover in Python

1

polygtk. A minimal set of GTK+2.0 bindings for Poly/ML

1

sublime-text-2-ak. Sublime Text 2 package for miscellaneous useful commands

1