There are no reviews yet. Be the first to send feedback to the community and the maintainers!
latex2sixel
LaTeX to SIXEL conversionSNARK
SNARK - SRI's New Automated Reasoning KitReduceAlgebra
https://svn.code.sf.net/p/reduce-algebra/code/fricas_jupyter
Jupyter kernel for FriCAS (binary)GLE
Graphics Layout Engine (GLE www.gle-graphics.org)jsXSI
Javascript Expert System Interface (includes CLIPS/COOL)fricas_w32
FriCAS for Windows (NSIS installer)jsEmCAS
Javascript Computer Algebra System (standalone/emscripten based on eigenmath)fricas_kernel
FriCAS (wrapper) kernel for IPythonIPyXt
IPython extensionsfricas_input
Conversion of FriCAS _.input files to Jupyter _.ipynb. Automated tests for iSPAD using nbconvert --executefricas_docker
Dockerfile for nilqed/fricas image (auto-build)fricas0
A pure Common Lisp build of FriCASjeditIDE
jedit IDE howto (example for FriCAS)jfricas.pip
FriCAS Jupyter Kernel - jfricas (pip3 package)spad_http
Jupyter kernel for SPADwax
Skeleton for a web applicationxsiTM
XSI/CLIPS/COOL TeXmacs pluginfricas_cygwin
FriCAS for Cygwin64 (portable)readable_sexp
spadlib
SPAD library (quicklisp/local-projects)fricas_snark
Automated Theorem Prover for FriCAS (based on SNARK)Love Open Source and this site? Check out how you can help us