Explore projects
-
Peter Schubert / modelpruner
GNU General Public License v3.0 or laterPrune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).
Updated -
This repository deals with the data exploration of the data contained in D-BAS.
Updated -
This is a short example for requesting data with neo4j-driver in a node.js project.
Updated -
Updated
-
Updated
-
Updated
-
-
-
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
Updated -
general / stups / Prolog mlpack Library
BSD 3-Clause "New" or "Revised" LicenseUpdated -
general / dsml / PyDial3 - Public
Apache License 2.0Updated -
Updated
-
general / dsml / RECORD - public
Apache License 2.0Updated -
Standalone version of the Rodin Event-B parser and AST, published to Maven Central
UpdatedUpdated