Tools for building fast, hackable, pseudospectral equation solvers
Tool support for the Z formal notation
Uranie is CEA's uncertainty analysis platform, based on ROOT
Create multi-degree polynominals charts. Designed in FbEdit & WinAPI.
Scientific computing, machine learning and computer vision for .NET
Java math expression parser and script interpreter
Heterogeneous Software Development Accelerated
Scheduling lockages at ship locks with several parallel lock chambers
A Free and Open Source Java Framework for Multiobjective Optimization
Carassius is a tool for editing of Petri nets and graphs.
A primality/compositeness tester for different types of numbers.