Explore @hhu-stups Open Source projects

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

hhu-stups

Stars
100
Global Org. Rank 57,955 (Top 19 %)
Registered almost 12 years ago
Most used languages

Java
52.2 %

Python
13.0 %

Prolog
13.0 %

Ruby
4.3 %

Kotlin
4.3 %

Makefile 4.3 %

TypeScript
4.3 %

TeX
4.3 %
Location 🇩🇪 Germany
Country Total Rank 10,429
Country Ranking

Prolog
7

Makefile 142

Kotlin
1,363

Java
1,526

Ruby
1,562

TeX
2,002

TypeScript
5,071

Python
6,927

prob-rodinplugin

(READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin

prolog-jupyter-kernel

A Jupyter kernel for Prolog

specifications

A collection of (public) specifications in different formalisms.

pyB

prob-issues

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

homebrew-prob

Homebrew tap to install the ProB model checker and animator.

prob2_kernel

(READ ONLY MIRROR) ProB 2.0 Kernel

prob2_ui

(READ ONLY MIRROR) ProB 2 UI

b-language-extension

(READ ONLY MIRROR) adds access to prob via vscode

python_jvm

jupyterlab-prolog-codemirror-extension

A JupyterLab extension providing a Prolog CodeMirror

probparsers

(READ ONLY MIRROR) ProB Parser library

b-language-server

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

alloy2b

(READ ONLY MIRROR) Parser for our Translation from Alloy to B

tlatools

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

sicstus_to_swi_transpiler

A Transpiler from Sicstus to Swi Prolog

tla2b

camille

(READ ONLY MIRROR) The Camille Editor for Rodin

value-translator

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

prob-examples-metadata

Meta statistics and data gathered over the public ProB examples.

ptolemy-jfmi

This project only packages the great JFMI library from the Ptolemy project

prob2-doc

(READ ONLY MIRROR) ProB 2 Documentation

probcli-starter

executable_spec_example

Example usage of the ProB 2.0 Java API

rodin-ast

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