A portfolio-optimizer using Markowitz(1952) mean-variance model
Linear algebra and solver library using CUDA, OpenCL, and OpenMP
Travel Market Simulator
Synchronous Petri Nets' emulator
Software for data analysis, image processing, simulations, solver.
Stochastic Analysis
A logic IDE for the sentential logic and the predicate logic.
A C++ and Python library for finance, statistics and linear algebra.