Explore projects

Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.

ProB Modelling Examples as Jupyter Notebooks.

SBML (Systems Biology Markup Language) integration in sybil

R Interface to C API of GLPK, needs GLPK Version >= 4.42

R Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)

R Interface to C API of COIN-OR Clp, depends on COIN-OR Clp Version >= 1.12.0

This repository deals with the data exploration of the data contained in D-BAS.

Logstash Elasticsearch Kibana