Skip to content
Change the repository type filter

All

    Repositories list

    • prob2_ui

      Public
      (READ ONLY MIRROR) ProB 2 UI
      Java
      Eclipse Public License 2.0
      1400Updated Apr 9, 2026Apr 9, 2026
    • xtl_examples

      Public
      Examples for ProB's XTL Prolog Mode
      HTML
      0000Updated Apr 8, 2026Apr 8, 2026
    • (READ ONLY MIRROR) The ProB Logic Calculator
      JavaScript
      Eclipse Public License 1.0
      0000Updated Apr 7, 2026Apr 7, 2026
    • cf-srv

      Public
      READ-ONLY mirror to Crazyflie server communicating with ProB via external libraries
      HTML
      Eclipse Public License 2.0
      0000Updated Mar 30, 2026Mar 30, 2026
    • prob2_kernel

      Public
      (READ ONLY MIRROR) ProB 2.0 Kernel
      Java
      Eclipse Public License 2.0
      1400Updated Mar 11, 2026Mar 11, 2026
    • probparsers

      Public
      (READ ONLY MIRROR) ProB Parser library
      Java
      1200Updated Mar 6, 2026Mar 6, 2026
    • (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin
      Java
      141900Updated Feb 26, 2026Feb 26, 2026
    • rodin-handbook

      Public
      (MIRROR) Rodin 2.x Handbook
      TeX
      1000Updated Feb 20, 2026Feb 20, 2026
    • homebrew-prob

      Public
      Homebrew tap to install the ProB model checker and animator.
      Ruby
      ISC License
      2511Updated Feb 12, 2026Feb 12, 2026
    • lebib

      Public
      (READ ONLY MIRROR) bibtex to HTML transformer
      TeX
      Other
      1030Updated Feb 6, 2026Feb 6, 2026
    • tla2bAST

      Public
      (READ ONLY MIRROR) Translator from TLA+ to ProB's AST representation
      Java
      0000Updated Jan 26, 2026Jan 26, 2026
    • xml2b

      Public
      (READ ONLY MIRROR) Typed Translation from XML (using XSD) to ProB's AST representation
      Java
      0000Updated 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
      1000Updated Jan 16, 2026Jan 16, 2026
    • (READ ONLY MIRROR) Library to translate Classical B values into Java objects.
      Java
      MIT License
      0100Updated Jan 9, 2026Jan 9, 2026
    • (READ ONLY MIRROR) Groovy-based DSL for Event-B
      Groovy
      Eclipse Public License 2.0
      0000Updated Nov 7, 2025Nov 7, 2025
    • (MIRROR) A Java-based Jupyter kernel for ProB 2
      Jupyter Notebook
      1000Updated Nov 7, 2025Nov 7, 2025
    • (READ ONLY MIRROR) adds access to prob via vscode
      TypeScript
      Eclipse Public License 2.0
      0300Updated Oct 22, 2025Oct 22, 2025
    • (READ ONLY MIRROR) A language server implementation for B, using ProB as backend, based on Java/Kotlin
      Kotlin
      Eclipse Public License 2.0
      1200Updated Oct 10, 2025Oct 10, 2025
    • AMAN case study Event-B and ProB project
      HTML
      0000Updated Sep 29, 2025Sep 29, 2025
    • (READ ONLY MIRROR) Parser for a LTL Pattern DSL
      Java
      0000Updated Jul 17, 2025Jul 17, 2025
    • (MIRRIR) DO NOT USE THIS PLEASE
      Java
      Eclipse Public License 1.0
      2000Updated Mar 13, 2025Mar 13, 2025
    • Python
      4310Updated Feb 28, 2025Feb 28, 2025
    • (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
      140000Updated Feb 25, 2025Feb 25, 2025
    • probandit

      Public
      Performance fuzzer for ProB's constraint solving backends
      Python
      0000Updated Jan 28, 2025Jan 28, 2025
    • HTML
      0200Updated Dec 16, 2024Dec 16, 2024
    • alloy2b

      Public
      (READ ONLY MIRROR) Parser for our Translation from Alloy to B
      Prolog
      0200Updated Dec 2, 2024Dec 2, 2024
    • Contains the aggregated primary studies found during the systematic mapping study over AI application in the field of formal methods.
      TeX
      0600Updated Nov 22, 2024Nov 22, 2024
    • tlatools

      Public
      (READ ONLY MIRROR) Modified version of the TLA+ tools for usage in ProB
      Java
      MIT License
      0200Updated Oct 28, 2024Oct 28, 2024
    • HTML
      0000Updated Aug 14, 2024Aug 14, 2024
    • (READ ONLY MIRROR) Kodkod Wrapper for ProB
      Java
      0000Updated Jul 5, 2024Jul 5, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.