Explore projects

R

Lianne Gahan / Raguin Team Site

0

Updated Mar 24, 2023

0 0 0 0

Updated Mar 24, 2023
T

Laura Christine Kühle / Troubled Cell Detection

0

Updated Mar 24, 2023

0 0 0 0

Updated Mar 24, 2023
V

general / stups / vorlage

LaTeX-Vorlage für Bachelor und Masterarbeiten.

2

Updated Mar 10, 2023

2 0 0 0

Updated Mar 10, 2023
C

Sajjad Ghaffarinasabsharabiani / CCB_theme

0

Updated Mar 06, 2023

0 0 0 0

Updated Mar 06, 2023
V

general / stups / VO Parser

0

Updated Feb 28, 2023

0 0 0 1

Updated Feb 28, 2023
P

general / stups / ProB 2 Jupyter Kernel

A Java-based Jupyter kernel for ProB 2

0

Updated Feb 24, 2023

0 0 10

Updated Feb 24, 2023
F

Peter Schubert / fba2gecko
GNU General Public License v3.0 or later

0

Updated Feb 24, 2023

0 0 0 0

Updated Feb 24, 2023
T

general / stups / tla2bAST

0

Updated Feb 15, 2023

0 0 0

Updated Feb 15, 2023
T

general / dsml / TripPy - Public
Apache License 2.0

0

Updated Feb 09, 2023

0 1 0 0

Updated Feb 09, 2023
B

Weaam Alali / Bachelorarbeit Alali

0

Updated Feb 04, 2023

0 0 0 0

Updated Feb 04, 2023
general / stups / ProB Rodin Plugin
BSD Source Code Attribution

The ProB Model Checker and Animator Plugin for Rodin

0

Updated Feb 02, 2023

0 0 0

Updated Feb 02, 2023
R

Peter Schubert / rbaxdf

0

Updated Jan 28, 2023

0 0 0 0

Updated Jan 28, 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 or later

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