hhu-stups/homebrew-prob

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Ruby
License
ISC License
Created almost 9 years ago
Updated 9 months ago

hhu-stups/homebrew-prob

hhu-stups

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Homebrew tap to install the ProB model checker and animator.

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)

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