Kurt Pagani nilqed

Popular repositories Loading

1. LaTeX to SIXEL conversion

   Shell 37 3

2. SNARK - SRI's New Automated Reasoning Kit

   Common Lisp 19 2

3. FriCAS sixel graphics output (TeX, GnuDraw)

   Shell 13

4. https://svn.code.sf.net/p/reduce-algebra/code/

   C 5 2

5. Javascript Expert System Interface (includes CLIPS/COOL)

   JavaScript 5 2

6. Jupyter kernel for FriCAS (binary)

   Common Lisp 4 2