Popular repositories

1. neural-semigroups Public

   Neural Networks for Semigroups

   Python 5

2. isabelle-client Public

   A client for Isabelle server (https://isabelle.in.tum.de)

   TeX 5

3. gym-saturation Public

   an OpenAI Gym environment for saturation provers

   Python 3

4. pipenv.el Public

   Forked from pwalsh/pipenv.el

   A Pipenv porcelain inside Emacs.

   Emacs Lisp 1

5. lightfm Public

   Forked from lyst/lightfm

   A Python implementation of LightFM, a hybrid recommendation algorithm.

   Python 1

6. residuated-binars Public

   Useful scripts for finding finite counter-examples of residuated binars with different additional properties

   Isabelle 1