Popular repositories Loading

1. chyp chyp Public

   An interactive theorem prover for string diagrams

   Python 118 5

2. dodo dodo Public

   A graphical, hackable email client based on notmuch

   Python 114 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. bitgauss bitgauss Public

   Fast boolean linear algebra library for Rust

   Rust 4 1

6. PolyChrome PolyChrome Public

   Forked from KidkArolis/PolyChrome

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

   JavaScript 3