Probabilistic programming in Python
simulated annealing optimization and importance-sampling
A free cross-platform editor for the DRAKON visual language.
Utility converts the weights file of a MLP Breadboard into a formula
Stochastic parameter sensitivity analysis for chemical networks
A tool for parametric model checking of UPPAAL models.
Visualize Galois sub-hierarchy of 2d matrix