pascalpoizat / fbpmnLinks
formal tools for BPMN
☆36Updated 6 months ago
Alternatives and similar repositories for fbpmn
Users that are interested in fbpmn are comparing it to the libraries listed below
Sorting:
- Proposed documentation for alloytools.org☆71Updated 4 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆86Updated last week
- Awesome datalog libraries, tools and resources☆64Updated 6 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 7 months ago
- syn·di·cate: a language for interactive programs☆159Updated last month
- Clafer is a lightweight modeling language☆47Updated 11 months ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Prolog, Datalog, languages, resources, and beyond!☆33Updated last year
- ☆71Updated 5 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 3 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- Kanren with databases☆44Updated last year
- Python interpreter for TLA+ specifications☆116Updated last year
- Andl is A New Database Language☆76Updated 9 years ago
- Relational Algebra at your fingertips☆62Updated 11 years ago
- ☆49Updated 2 months ago
- A virtual machine for Monte.☆68Updated 3 months ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 3 years ago
- Some fun examples of solving problems with symbolic execution☆116Updated 7 years ago
- SOMns: A Newspeak for Concurrency Research☆69Updated 11 months ago
- Template engine for ISO Prolog, based on Jinja and Tera☆19Updated last year
- Modeling DNS with Alloy☆37Updated 4 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Modeling AWS application load balancers using Alloy☆13Updated 4 years ago
- Beating the CAP theorem with the epidemic register☆17Updated 5 years ago
- The Ur/Web People Organizer☆30Updated last year
- An in-memory datalog implementation for OCaml.☆276Updated last year