Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
R Interface to C API of GLPK, needs GLPK Version >= 4.42
-
-
-
-
-
-
Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.
-
Logstash Elasticsearch Kibana
-
This repository deals with the data exploration of the data contained in D-BAS.
-
This is a short example for requesting data with neo4j-driver in a node.js project.
-
-
-
-
-
A Java-based Jupyter kernel for ProB 2
-
ProB Modelling Examples as Jupyter Notebooks.
-
The ProB Model Checker and Animator Plugin for Rodin
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
-
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.
