Solutions for some common algorithm problems written in Java
TLC is an explicit state model checker for specifications in TLA+
Statistiken zu COVID-19 in Deutschland
Tool support for the Z formal notation
A Fractal Zoomer with various functions.
Android app interface for antoniovandre_eval software.
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Plotter for math functions y=f(x)
Framework & GUI for Bayes Nets and other probabilistic models.
Dynamical systems research tool
Frontend para a calculadora JavaAntonioVandreEval.
mathematical function plotting and real-time analysis
Open-source C/C++ math engine for advanced scientific computing
Pequeño IDE para el lenguaje JMEScript.
An algebra editor
Python code able to convert / compress image to PI (3.14, π) Indexes
Use simulation to perform statistical analyses.
App that allows you to track progress of your sourceforge project.