Popular repositories Loading

1. latex2sixel latex2sixel Public

   LaTeX to SIXEL conversion

   Shell 37 3

2. SNARK SNARK Public

   SNARK - SRI's New Automated Reasoning Kit

   Common Lisp 19 2

3. sixelSPAD sixelSPAD Public

   FriCAS sixel graphics output (TeX, GnuDraw)

   Shell 13

4. ReduceAlgebra ReduceAlgebra Public

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

   C 5 2

5. jsXSI jsXSI Public

   Javascript Expert System Interface (includes CLIPS/COOL)

   JavaScript 5 2

6. fricas_jupyter fricas_jupyter Public

   Jupyter kernel for FriCAS (binary)

   Common Lisp 4 2