LTL to deterministic Rabin automata translator based on LTL3BA
Open Source CPAP Research and Review Software
Multidimensional Optimizer for Command Line
Tools for reading, validating & writing transit schedule info in GTFS
A color-code design tool
Project moved to https://github.com/owfs/owfs/
PROPensity for Alpha and Beta
Package for solving PDE systems numerically
A web-based minimisation service
Open source speech models for Julius in English and other languages.
high-performance nonlinear least squares solver for graph problems
This software is about how to increase number of cells
Dissolution profile comparison Model Dependent-Independent Approach