A logic IDE for the sentential logic and the predicate logic.
Simple example for triangulate polygon with allegro engine (C++)
Open-source computational library written in pure JAVA
ATMSP - A Tiny Mathematical Speed Parser
mglua stands for MathGL for Lua.
approximate Bayesian computation for stochastic differential equations
A library for working with various complex numbers in Java.
A script to perform SAT attacks on RSA