nilqed Goto Github PK

numaplot

Numerics and Plot Server (HTTP)

october

Free, open-source, self-hosted CMS platform based on the Laravel PHP Framework.

open-axiom

OpenAxiom: Platform for Symbolic, Algebraic, and Numeric Computations

par

par is a paragraph reformatter, vaguely similar to fmt, but better.

physqty

PhysQty - Physical Quantities (FriCAS)

pure-lang

Pure programming language

pure_jaxmate

Pure node server + JaxMaTe client

pvs

pvslib

NASA PVS Library of Formal Developments

py4cl

Call python from Common Lisp

pyscripter

Automatically exported from code.google.com/p/pyscripter

qepcad

Quantifier Elimination by Partial Cylindrical Algebraic Decomposition

qmtrans

Transference Plans and Uncertainty

quicklisp-client

Quicklisp client.

rahd

Automatically exported from code.google.com/p/rahd

readable_sexp

redhelp

REDUCE Reference Manual

reducealgebra

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

reduce_jaxmate

REDUCE in browser (scratchpad, MathJax)

root

Mirror of official ROOT git repository

run-reduce

A JavaFX GUI to run the REDUCE Computer Algebra System

r_fork

https://svn.r-project.org/R/

saclib

A library of computer algebra functions due to George E. Collins and his many students and collaborators.

sage

Mirror of the Sage source tree -- NO PRs! -- everything must be submitted via https://trac.sagemath.org/

sage-windows

Build tools for the Sagemath Windows installer

sbcl

Mirror of Steel Bank Common Lisp (SBCL)'s official repository

scilab_fork

git://git.scilab.org/scilab

scintilla

scite

GitHub Repository for Version Control of the SciTe Text Editor.

shellinabox

Official-ish Fork of Shell In A Box