Popular repositories

1. neural-semigroups

   Neural Networks for Semigroups

   Python 5

2. isabelle-client

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

   Python 4

3. pipenv.el

   Forked from pwalsh/pipenv.el

   A Pipenv porcelain inside Emacs.

   Emacs Lisp 1

4. lightfm

   Forked from lyst/lightfm

   A Python implementation of LightFM, a hybrid recommendation algorithm.

   Python 1

5. project-euler-problems

   My solutions to problems from http://projecteuler.net/

   Java

6. old-coursera

   My old Coursera programming assignment

   Java