Kurt Pagani nilqed

Popular repositories

1. SNARK

   SNARK - SRI's New Automated Reasoning Kit

   Common Lisp 7 1

2. IPyXt

   IPython extensions

   Python 2 1

3. fricas_kernel

   FriCAS (wrapper) kernel for IPython

   JavaScript 2

4. fricas_jupyter

   Jupyter kernel for FriCAS (binary)

   Common Lisp 2 2

5. fricas_input

   Conversion of FriCAS _.input files to Jupyter _.ipynb. Automated tests for iSPAD using nbconvert --execute

   HTML 2

6. fricas_w32

   FriCAS for Windows (NSIS installer)

   Emacs Lisp 2