Explore projects
-
Updated
-
general / dsml / PyDial3 - Public
Apache License 2.0Updated -
general / ccb / sybil
GNU General Public License v3.0 onlysybil - Efficient Constrained Based Modelling in R
archived 0Updated -
Updated
-
This is a short example for requesting data with neo4j-driver in a node.js project.
Updated -
general / ccb / cplexAPI
GNU General Public License v3.0 onlyR Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)
archived 0Updated -
general / dsml / DDPT - public
Apache License 2.0Updated -
general / stups / B Language Server
Eclipse Public License 2.0A language server implementation for B, using ProB as backend, based on Java/Kotlin
Updated -
Updated
-
Updated
-
Peter Schubert / sbmlxdf
GNU General Public License v3.0 or laterDescription: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.
Updated -
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.
Updated -
Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"
Updated -
Updated
-
Updated
-
Updated