Google's software suite for combinatorial optimization
bridge double dummy solver. Preferance problems solver
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