Software Engineering and Programming Languages Group – Heinrich Heine University Düsseldorf (@hhu-stups)

Top repositories

1

prob-rodinplugin

(READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
Java
19
star
2

prolog-jupyter-kernel

A Jupyter kernel for Prolog
Prolog
17
star
3

specifications

A collection of (public) specifications in different formalisms.
Makefile
15
star
4

pyB

pyB
Python
6
star
5

prob-issues

ProB issues (for probcli, ProB Tcl/Tk, ProB2, ProB2UI)
6
star
6

homebrew-prob

Homebrew tap to install the ProB model checker and animator.
Ruby
5
star
7

prob2_kernel

(READ ONLY MIRROR) ProB 2.0 Kernel
Java
4
star
8

prob2_ui

(READ ONLY MIRROR) ProB 2 UI
Java
3
star
9

b-language-extension

(READ ONLY MIRROR) adds access to prob via vscode
TypeScript
3
star
10

python_jvm

Python
3
star
11

jupyterlab-prolog-codemirror-extension

A JupyterLab extension providing a Prolog CodeMirror
Python
2
star
12

probparsers

(READ ONLY MIRROR) ProB Parser library
Java
2
star
13

b-language-server

(READ ONLY MIRROR) A language server implementation for B, using ProB as backend, based on Java/Kotlin
Kotlin
2
star
14

alloy2b

(READ ONLY MIRROR) Parser for our Translation from Alloy to B
Prolog
2
star
15

tlatools

(READ ONLY MIRROR) Modified version of the TLA+ tools for usage in ProB
Java
2
star
16

sicstus_to_swi_transpiler

A Transpiler from Sicstus to Swi Prolog
Prolog
1
star
17

tla2b

Java
1
star
18

camille

(READ ONLY MIRROR) The Camille Editor for Rodin
Java
1
star
19

value-translator

(READ ONLY MIRROR) Library to translate Classical B values into Java objects.
Java
1
star
20

prob-examples-metadata

Meta statistics and data gathered over the public ProB examples.
1
star
21

ptolemy-jfmi

This project only packages the great JFMI library from the Ptolemy project
Java
1
star
22

prob2-doc

(READ ONLY MIRROR) ProB 2 Documentation
TeX
1
star
23

probcli-starter

Java
1
star
24

executable_spec_example

Example usage of the ProB 2.0 Java API
Java
1
star
25

rodin-ast

(READ ONLY MIRROR) Standalone version of the Rodin Event-B parser and AST, published to Maven Central
Java
1
star