nilqed/spadlib nilqed/spadlib

  • Stars
    star
    1
  • Language
    Common Lisp
  • License
    MIT License
  • Created over 4 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nilqed/spadlib
github

nilqed

Reviews

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

Repository Details

SPAD library (quicklisp/local-projects)

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

fricas_jupyter

Jupyter kernel for FriCAS (binary)
Common Lisp
4
star
6

GLE

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

jsXSI

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

fricas_w32

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

jsEmCAS

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

fricas_kernel

FriCAS (wrapper) kernel for IPython
JavaScript
2
star
11

IPyXt

IPython extensions
Python
2
star
12

fricas_input

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

fricas_docker

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

fricas0

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

jeditIDE

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

jfricas.pip

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

spad_http

Jupyter kernel for SPAD
Common Lisp
1
star
18

wax

Skeleton for a web application
JavaScript
1
star
19

xsiTM

XSI/CLIPS/COOL TeXmacs plugin
C
1
star
20

fricas_cygwin

FriCAS for Cygwin64 (portable)
1
star
21

readable_sexp

HTML
1
star
22

fricas_snark

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