Repositories list

• prob2_ui

  Public

  hhu-stups/prob2_ui’s past year of commit activity
  (READ ONLY MIRROR) ProB 2 UI

  Java

  •

  Eclipse Public License 2.0

  •11 fork•44 stars•00 issues•00 pull requests•Updated Apr 9, 2026Apr 9, 2026

• xtl_examples

  Public

  hhu-stups/xtl_examples’s past year of commit activity
  Examples for ProB's XTL Prolog Mode

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 8, 2026Apr 8, 2026

• prob-logic-calculator

  Public
  (READ ONLY MIRROR) The ProB Logic Calculator

  JavaScript

  •

  Eclipse Public License 1.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Apr 7, 2026Apr 7, 2026

• cf-srv

  Public

  hhu-stups/cf-srv’s past year of commit activity
  READ-ONLY mirror to Crazyflie server communicating with ProB via external libraries

  HTML

  •

  Eclipse Public License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 30, 2026Mar 30, 2026

• prob2_kernel

  Public

  hhu-stups/prob2_kernel’s past year of commit activity
  (READ ONLY MIRROR) ProB 2.0 Kernel

  Java

  •

  Eclipse Public License 2.0

  •11 fork•44 stars•00 issues•00 pull requests•Updated Mar 11, 2026Mar 11, 2026

• probparsers

  Public

  hhu-stups/probparsers’s past year of commit activity
  (READ ONLY MIRROR) ProB Parser library

  Java

  •11 fork•22 stars•00 issues•00 pull requests•Updated Mar 6, 2026Mar 6, 2026

• prob-rodinplugin

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

  Java

  •1414 forks•1919 stars•00 issues•00 pull requests•Updated Feb 26, 2026Feb 26, 2026

• rodin-handbook

  Public

  hhu-stups/rodin-handbook’s past year of commit activity
  (MIRROR) Rodin 2.x Handbook

  TeX

  •11 fork•00 stars•00 issues•00 pull requests•Updated Feb 20, 2026Feb 20, 2026

• homebrew-prob

  Public

  hhu-stups/homebrew-prob’s past year of commit activity
  Homebrew tap to install the ProB model checker and animator.

  Ruby

  •

  ISC License

  •22 forks•55 stars•11 issue•11 pull request•Updated Feb 12, 2026Feb 12, 2026

• lebib

  Public
  (READ ONLY MIRROR) bibtex to HTML transformer

  TeX

  •

  Other

  •11 fork•00 stars•33 issues•00 pull requests•Updated Feb 6, 2026Feb 6, 2026

• tla2bAST

  Public
  (READ ONLY MIRROR) Translator from TLA+ to ProB's AST representation

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 26, 2026Jan 26, 2026

• xml2b

  Public
  (READ ONLY MIRROR) Typed Translation from XML (using XSD) to ProB's AST representation

  xmlformal-methods

  xmlformal-methods

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 16, 2026Jan 16, 2026

• tlc4b

  Public
  (READ ONLY MIRROR) Tools for TLA+ specifications and PlusCal algorithms, including the Toolbox, an IDE for writing specifications and running tools to check the…

  Java

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jan 16, 2026Jan 16, 2026

• value-translator

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

  javaprob

  javaprob

  Java

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Jan 9, 2026Jan 9, 2026

• prob2-eventb-algorithm-dsl

  Public
  (READ ONLY MIRROR) Groovy-based DSL for Event-B

  Groovy

  •

  Eclipse Public License 2.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 7, 2025Nov 7, 2025

• prob2_jupyter_kernel

  Public
  (MIRROR) A Java-based Jupyter kernel for ProB 2

  Jupyter Notebook

  •11 fork•00 stars•00 issues•00 pull requests•Updated Nov 7, 2025Nov 7, 2025

• b-language-extension

  Public
  (READ ONLY MIRROR) adds access to prob via vscode

  TypeScript

  •

  Eclipse Public License 2.0

  •00 forks•33 stars•00 issues•00 pull requests•Updated Oct 22, 2025Oct 22, 2025

• b-language-server

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

  Kotlin

  •

  Eclipse Public License 2.0

  •11 fork•22 stars•00 issues•00 pull requests•Updated Oct 10, 2025Oct 10, 2025

• AMAN-case-study

  Public
  AMAN case study Event-B and ProB project

  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 29, 2025Sep 29, 2025

• ltl-pattern-parser

  Public
  (READ ONLY MIRROR) Parser for a LTL Pattern DSL

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 17, 2025Jul 17, 2025

• antlr-parser

  Public
  (MIRRIR) DO NOT USE THIS PLEASE

  usedonot

  usedonot

  Java

  •

  Eclipse Public License 1.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Mar 13, 2025Mar 13, 2025

• abz2025_casestudy_autonomous_driving

  Public
  Python

  •44 forks•33 stars•11 issue•00 pull requests•Updated Feb 28, 2025Feb 28, 2025

• org.alloytools.alloy

  Public
  (READ-ONLY MIRROR) Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding ho…

  Java

  •

  Other

  •140140 forks•00 stars•00 issues•00 pull requests•Updated Feb 25, 2025Feb 25, 2025

• probandit

  Public
  Performance fuzzer for ProB's constraint solving backends

  Python

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 28, 2025Jan 28, 2025

• reinforcement-learning-b-models

  Public
  HTML

  •00 forks•22 stars•00 issues•00 pull requests•Updated Dec 16, 2024Dec 16, 2024

• alloy2b

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

  translationalloyb-method

  translationalloyb-method

  Prolog

  •00 forks•22 stars•00 issues•00 pull requests•Updated Dec 2, 2024Dec 2, 2024

• ai4fm-studies

  Public
  Contains the aggregated primary studies found during the systematic mapping study over AI application in the field of formal methods.

  TeX

  •00 forks•66 stars•00 issues•00 pull requests•Updated Nov 22, 2024Nov 22, 2024

• tlatools

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

  Java

  •

  MIT License

  •00 forks•22 stars•00 issues•00 pull requests•Updated Oct 28, 2024Oct 28, 2024

• highway-env-b-model

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 14, 2024Aug 14, 2024

• probkodkod

  Public
  (READ ONLY MIRROR) Kodkod Wrapper for ProB

  Java

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jul 5, 2024Jul 5, 2024