Calculates income tax form entries, helps do your taxes.
The GNU Prolog native compiler
Mixed Integer Linear Programming (MILP) solver.
Biomolecular electrostatics software
Finite Element Method on 3D Meshes
Astronomical Image Solver with Telescope Pointing
A FDTD solver for electromagnetic wave simulations on a GPU cluster
Simple ODE solver for dynamical systems
gdeptrace dependancy solver correct for pkg or make deps
An implementation of Dantzig-Wolfe decomposition built upon GLPK
Command line sudoku generator and solver. It uses opencl or openmp.
Game solver for Chomp