Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
-
Generate parsers using SableCC as part of a Gradle build
-
The RNA velocity analysis done for the department of Molecular Cardiology (Professor Jürgen Schrader)
-
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
-
The ProB Model Checker and Animator Plugin for Rodin
-
ProB Modelling Examples as Jupyter Notebooks.
-
A Java-based Jupyter kernel for ProB 2
-
-
-
-
-
Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.
-
This is a short example for requesting data with neo4j-driver in a node.js project.
-
This repository deals with the data exploration of the data contained in D-BAS.