A portable, multi-platform, command-line driven graphing utility
Agena is an interpreted procedural programming language.
Generator of the Mandelbrot family fractals
TI graphing calculators <-> computer communication software
Creates a data density plot of a 2 dimensional data distribution.
proof verifier for mathematical proofs and documentation generator
A logic IDE for the sentential logic and the predicate logic.
MLE survival analysis: Gompertz, Weibull, Logistic and mixed morality.
library for Bilinear Pairing
A small, basic, yet powerful and competent primality tester.
Platform-level utilities on .NET Framework 4.0 (C#)