Popular repositories Loading

1. chyp chyp Public

   An interactive theorem prover for string diagrams

   Python 112 5

2. dodo dodo Public

   A graphical, hackable email client based on notmuch

   Python 107 11

3. sublime-polyml sublime-polyml Public

   Poly/ML Package for Sublime Text 2

   Python 6 1

4. pypn pypn Public

   A graphical MLL+MIX theorem prover and proof net library

   Jupyter Notebook 6

5. PolyChrome PolyChrome Public

   Forked from KidkArolis/PolyChrome

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

   JavaScript 3

6. quanto-tensor quanto-tensor Public

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

   3