Google's software suite for combinatorial optimization
bridge double dummy solver. Preferance problems solver
XFLR5 is an analysis tool for airfoils, wings and planes
System dynamics program with additional features for economics
Hybrid Virtual Synthesizer
Time-dependent simulation of open and closed quantum systems
DiInSo is orient to solve 3D direct and 2D/3D inverse problems of ERT
Binary Analysis Platform
native Grace for Windows, Linux and Mac OS X based on Qt
Triton is a dynamic binary analysis library
Linear constraint feasibility check and get program.
MACE is a Mathematical program for Algorithms, Calculations, Equations
Adjusts the timing of subtitle files (handles *.srt and *.sub formats)
high-performance nonlinear least squares solver for graph problems
solves nonlinear Kohn-Sham equation for the neutral atom.
The incompressible Navier-Stokes equations solver in 2D domains
A finite volume groundwater simulator
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
Design and Display Happy Cube solutions
A portfolio-optimizer using Markowitz(1952) mean-variance model