Block or report user

Report or block nilqed

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. SNARK

    SNARK - SRI's New Automated Reasoning Kit

    Common Lisp 14 1

  2. fricas_jupyter

    Jupyter kernel for FriCAS (binary)

    Common Lisp 3 2

  3. fricas_w32

    FriCAS for Windows (NSIS installer)

    Emacs Lisp 3

  4. IPyXt

    IPython extensions

    Python 2 1

  5. fricas_kernel

    FriCAS (wrapper) kernel for IPython

    JavaScript 2

  6. fricas_input

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

    HTML 2

91 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri

Contribution activity

September - October 2018

nilqed has no activity yet for this period.

August 2018

Seeing something unexpected? Take a look at the GitHub profile guide.