pascalpoizat / fbpmnLinks
formal tools for BPMN
☆34Updated last month
Alternatives and similar repositories for fbpmn
Users that are interested in fbpmn are comparing it to the libraries listed below
Sorting:
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Proposed documentation for alloytools.org☆70Updated 8 months ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆134Updated last month
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- syn·di·cate: a language for interactive programs☆159Updated 5 months ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Awesome datalog libraries, tools and resources☆62Updated 5 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- An in-memory datalog implementation for OCaml.☆271Updated 9 months ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- Modeling DNS with Alloy☆37Updated 3 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 9 months ago
- Python interpreter for TLA+ specifications☆114Updated last year
- Andl is A New Database Language☆75Updated 9 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆190Updated 4 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- Kanren with databases☆44Updated last year
- SOMns: A Newspeak for Concurrency Research☆69Updated 5 months ago
- Convert TLA+ output (and values) into JSON☆27Updated 4 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- ☆41Updated 10 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year