Framework for numerical computations, data analysis and visualisation
Handling and basic analysis of hyperspectral data in R
Proof Logic : A logical framework for theorem proving
A tool that uses OpenCL to procedurally generate 3D models
A Library is for Finite Transforms
Program to solve differential equations using long Taylor series
A library to convert between braille and MathML
interactive 2D plotter
Computes Accurate Fourier Transform via Explicit Integration not FFT
Rendering of 2D and 3D Celtic Knots
A re-implementation of cl-jointgen in C
A Univariate Time Series Analysis package in ANSI C