nilqed/fricas_jupyter

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Common Lisp
License
BSD 2-Clause "Sim...
Created about 9 years ago
Updated almost 8 years ago

nilqed/fricas_jupyter

nilqed

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Jupyter kernel for FriCAS (binary)

latex2sixel

LaTeX to SIXEL conversion

SNARK

SNARK - SRI's New Automated Reasoning Kit

sixelSPAD

FriCAS sixel graphics output (TeX, GnuDraw)

ReduceAlgebra

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

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 IPython

IPyXt

IPython extensions

fricas_input

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

fricas_docker

Dockerfile for nilqed/fricas image (auto-build)

fricas0

A pure Common Lisp build of FriCAS

jeditIDE

jedit IDE howto (example for FriCAS)

jfricas.pip

FriCAS Jupyter Kernel - jfricas (pip3 package)

spad_http

Jupyter kernel for SPAD

wax

Skeleton for a web application

xsiTM

XSI/CLIPS/COOL TeXmacs plugin

fricas_cygwin

FriCAS for Cygwin64 (portable)

readable_sexp

spadlib

SPAD library (quicklisp/local-projects)

fricas_snark

Automated Theorem Prover for FriCAS (based on SNARK)