Explore projects
-
A Cytoscape 3.6 application that wraps the Yoshiko-Algorithm implementation as provided @:https://github.com/ls-cwi/yoshiko.git
Updated -
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
Updated -
-
Updated
-
Updated
-
Updated
-
Updated
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
-
Updated
-
-
Updated
-
Public codebase for "Local Topology Measures of Contextual Language Model Latent Spaces With Applications to Dialogue Term Extraction" published in SIGDIAL 2024.
Updated -
SBML (Systems Biology Markup Language) integration in sybil
Archived 0Updated -
-