hhu-stups/ptolemy-jfmi

Stars
1
Language
Java
Created about 9 years ago
Updated about 9 years ago

hhu-stups/ptolemy-jfmi

hhu-stups

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

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

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.

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