Python library for defining and optimizing mathematical expressions
Tool support for the Z formal notation
Create multi-degree polynominals charts. Designed in FbEdit & WinAPI.
Scientific computing, machine learning and computer vision for .NET
Heterogeneous Software Development Accelerated
Modular Java framework for meta-heuristic optimization
A Free and Open Source Java Framework for Multiobjective Optimization
Petri net framework for security related modeling and reasoning.
Platform-level utilities on .NET Framework 4.0 (C#)