Explore projects

Modified version of the TLA+ tools for usage in ProB

Handwritten Text Recognition (HTR) system implemented with TensorFlow.

XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA