Handling and basic analysis of hyperspectral data in R
Precision Trigonometry: Advanced Calculator for Complex Math
Proof Logic : A logical framework for theorem proving
Fast rainflow counting written in C (C99)
A Library is for Finite Transforms
Program to solve differential equations using long Taylor series
A library to convert between braille and MathML
Advanced numerical instruments: adaptive meshing, FE methods, solvers
interactive 2D plotter
DD-AVX: Library of high-precision operations accelerated by AVX
Rendering of 2D and 3D Celtic Knots
A re-implementation of cl-jointgen in C