nilqed/fricas_snark nilqed/fricas_snark

  • Stars
    star
    1
  • Language
    Python
  • License
    Other
  • Created over 8 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nilqed/fricas_snark
github

nilqed

Reviews

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

Repository Details

Automated Theorem Prover for FriCAS (based on SNARK)

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

spadlib

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