Popular repositories Loading

1. gym-saturation gym-saturation Public

   a collection of Gymnasium environments for saturation provers

   TeX 22 2

2. isabelle-client isabelle-client Public

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

   TeX 12 1

3. neural-semigroups neural-semigroups Public

   Neural Networks for Semigroups

   Python 8 2

4. ast2vec ast2vec Public

   Jupyter Notebook 5

5. recommender-systems-course recommender-systems-course Public

   Python 3

6. flymake-pyrefly flymake-pyrefly Public

   A Pyrefly Flymake backend

   Emacs Lisp 2