Popular repositories Loading

1. 2simplicialtransformer 2simplicialtransformer Public

   Code for the 2-simplicial Transformer paper

   TeX 21 4

2. polysemantics polysemantics Public

   Polynomial semantics of linear logic

   Python 13

3. deeplinearlogic deeplinearlogic Public

   Deep learning and linear logic

   Jupyter Notebook 10 1

4. mf mf Public

   Computing with matrix factorisations

   TeX 8 2

5. linearlogic linearlogic Public

   An introduction to logic and linear algebra

   TeX 1

6. dmurfet.github.io dmurfet.github.io Public

   Ruby 1