Popular repositories Loading

1. gym-saturation gym-saturation Public archive

   a collection of Gymnasium environments for saturation provers

   TeX 24 2

2. isabelle-client isabelle-client Public

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

   TeX 14 1

3. neural-semigroups neural-semigroups Public archive

   Neural Networks for Semigroups

   Python 8 2

4. flymake-pyrefly flymake-pyrefly Public

   A Pyrefly Flymake backend

   Emacs Lisp 5 1

5. ast2vec ast2vec Public

   Jupyter Notebook 4

6. recommender-systems-course recommender-systems-course Public

   Python 3