Popular repositories

1. sublime-polyml Public

   Poly/ML Package for Sublime Text 2

   Python 7 2

2. pypn Public

   A graphical MLL+MIX theorem prover and proof net library

   Jupyter Notebook 5

3. PolyChrome Public

   Forked from KidkArolis/PolyChrome

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

   JavaScript 3

4. quanto-tensor Public

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

   3

5. kod Public

   Forked from rsms/kod

   Programmers' editor for OS X

   Objective-C 1

6. sublime-text-2-ak Public

   Sublime Text 2 package for miscellaneous useful commands

   Python 1