fast C++ library for linear algebra & scientific computing
System dynamics program with additional features for economics
An implementation of interval arithmetic
Discrete-event simulation modeling software for science and education
Software for electromagnetic simulation
Unicode XML TEI text analysis platform
Computer Assisted Proofs in Dynamics
Interactive geometry software for Euclidean and non-Euclidean spaces
Mixed Integer Linear Programming (MILP) solver.
Test 64-bit integers for pribality. Miller-Rabin, Lucas. BPSW
C++ BigInt class enables to work with arbitrary precision integers
Format converting tool for genotype Data (e.g.PLINK-MACH,MACH-PLINK)
3-D diffusion solver for biological problems
Turing and Post Machines' C++ Simulators
Functy is a 3D graph drawing package that generates immediate results.
Fast and more random implementations of java.util.Random.
A portfolio-optimizer using Markowitz(1952) mean-variance model