Popular repositories Loading

1. everest everest Public

   A mathematical puzzle game

   Dart 73 10

2. fgb_sage fgb_sage Public

   A Sage interface for FGb (Gröbner basis computations)

   Python 30

3. guptri_py guptri_py Public

   Singular generalized eigenvalue problems.

   Python 3

4. vimcmdline vimcmdline Public

   Forked from jalvesaq/vimcmdline

   Send code to command line interpreter

   Vim Script

5. agda-stdlib agda-stdlib Public

   Forked from agda/agda-stdlib

   The Agda standard library

   Agda

6. momentproblems momentproblems Public

   Research code

   Python