Projects · Explore

Explore GitLab

Discover projects, groups and snippets. Share your projects with others

general / stups / ProB Rodin Plugin

The ProB Model Checker and Animator Plugin for Rodin

0

Updated Feb 02, 2023

0 0 0

Updated Feb 02, 2023
P

general / stups / ProB 2 Jupyter Kernel

A Java-based Jupyter kernel for ProB 2

0

Updated Feb 02, 2023

0 0 10

Updated Feb 02, 2023
T

general / dsml / TripPy - Public
Apache License 2.0

0

Updated Feb 01, 2023

0 0 0 0

Updated Feb 01, 2023
R

Peter Schubert / rbaxdf

0

Updated Jan 28, 2023

0 0 0 0

Updated Jan 28, 2023
T

general / stups / tla2bAST

0

Updated Jan 27, 2023

0 0 0

Updated Jan 27, 2023
V

general / stups / VO Parser

0

Updated Jan 25, 2023

0 0 0 1

Updated Jan 25, 2023
Sara Schulte / HOGVAX

0

Updated Jan 19, 2023

0 0 0 0

Updated Jan 19, 2023
P

general / stups / Prolog mlpack Library
BSD 3-Clause "New" or "Revised" License

0

Updated Jan 16, 2023

0 0 0 0

Updated Jan 16, 2023
P

general / stups / prob-teaching-notebooks

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

0

Updated Jan 16, 2023

0 0 0 0

Updated Jan 16, 2023
V

general / stups / visb-visualisation-examples

1

Updated Jan 16, 2023

1 1 0 0

Updated Jan 16, 2023
F

Peter Schubert / f2xba
GNU General Public License v3.0

0

Updated Jan 05, 2023

0 0 0 0

Updated Jan 05, 2023
G

Raphael Bialon / Google Fonts Check

0

Updated Jan 03, 2023

0 0 0 0

Updated Jan 03, 2023
P

general / stups / ProB2 Jupyter Notebooks

ProB Modelling Examples as Jupyter Notebooks.

0

Updated Dec 19, 2022

0 0 0 0

Updated Dec 19, 2022
P

general / stups / ProB 2 Documentation

0

Updated Dec 06, 2022

0 0 0 0

Updated Dec 06, 2022
T

Laura Christine Kühle / Troubled Cell Detection

0

Updated Dec 02, 2022

0 0 0 0

Updated Dec 02, 2022
T

Marc Feger / The Social Network

TBA

0

Updated Nov 30, 2022

0 0 0 1

Updated Nov 30, 2022
H

general / albi / hpc-cheat-sheet

0

Updated Nov 28, 2022

0 0 0 0

Updated Nov 28, 2022
M

Peter Schubert / modelpruner
GNU General Public License v3.0

Prune a metabolic model (remove redundant reactions). Based on Network Reducer (Erdrich et al. 2015).

0

Updated Nov 18, 2022

0 0 0 0

Updated Nov 18, 2022
P

general / stups / ProB2 Mono Handbook

0

Updated Nov 17, 2022

0 0 0 0

Updated Nov 17, 2022
G

general / dsml / GenTUS-public
Apache License 2.0

0

Updated Oct 19, 2022

0 0 0 0

Updated Oct 19, 2022