nilqed/fricas_jupyter nilqed/fricas_jupyter

  • Stars
    star
    4
  • Rank 3,293,954 (Top 66 %)
  • Language
    Common Lisp
  • License
    BSD 2-Clause "Sim...
  • Created almost 9 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nilqed/fricas_jupyter
github

nilqed

Reviews

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

Repository Details

Jupyter kernel for FriCAS (binary)

More Repositories

1

latex2sixel

LaTeX to SIXEL conversion
Shell
28
star
2

SNARK

SNARK - SRI's New Automated Reasoning Kit
Common Lisp
19
star
3

sixelSPAD

FriCAS sixel graphics output (TeX, GnuDraw)
Shell
11
star
4

ReduceAlgebra

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

GLE

Graphics Layout Engine (GLE www.gle-graphics.org)
C++
4
star
6

jsXSI

Javascript Expert System Interface (includes CLIPS/COOL)
JavaScript
4
star
7

fricas_w32

FriCAS for Windows (NSIS installer)
Emacs Lisp
3
star
8

jsEmCAS

Javascript Computer Algebra System (standalone/emscripten based on eigenmath)
JavaScript
3
star
9

fricas_kernel

FriCAS (wrapper) kernel for IPython
JavaScript
2
star
10

IPyXt

IPython extensions
Python
2
star
11

fricas_input

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

fricas_docker

Dockerfile for nilqed/fricas image (auto-build)
Dockerfile
2
star
13

fricas0

A pure Common Lisp build of FriCAS
Common Lisp
2
star
14

jeditIDE

jedit IDE howto (example for FriCAS)
Python
2
star
15

jfricas.pip

FriCAS Jupyter Kernel - jfricas (pip3 package)
Python
1
star
16

spad_http

Jupyter kernel for SPAD
Common Lisp
1
star
17

wax

Skeleton for a web application
JavaScript
1
star
18

xsiTM

XSI/CLIPS/COOL TeXmacs plugin
C
1
star
19

fricas_cygwin

FriCAS for Cygwin64 (portable)
1
star
20

readable_sexp

HTML
1
star
21

spadlib

SPAD library (quicklisp/local-projects)
Common Lisp
1
star
22

fricas_snark

Automated Theorem Prover for FriCAS (based on SNARK)
Python
1
star