ECLiPSe Constraint Logic Programming System
The GNU Prolog native compiler
Cerberus Content Management System
The package for statistical data analysis and applied mathematics
Cerberus Content Management System
The Software for symbolic Analysis of linear Electronic Circuits
Fast FDTD solver with graphics card support
Stochastic UTA Solver
Library of solvers for work in Science, Engineering & Education
Wordle Solver written in BASH
Develop a user written Data Envelopment Analysis package in Stata.
A BASIC interpreter and compiler with graphics.
Linear Least Squares solver library written in C
A Python script for estimating the grain size from thin sections
Sokoban solver written in Ada
Partial Differential Equations, Complex Analysis, Mathematica, Farlow
Transportation Asset Management Project Builder
3D OpenGL dungeon game using Ada: a tribute to Narbacular Drop
Framework for intelligent service-based networks. Mobile compatible.
A Logo library, a big tool box.
2D Heat Numerical Heat Transfer Solver
ATS2: Unleashing the potentials of types and templates
Numerical mathematics platform, Matlab alternative