pascalpoizat / fbpmnLinks
formal tools for BPMN
☆35Updated last year
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
- Alloy with browser-based visualizations☆29Updated 3 years ago
- Different TLA+ specifications, mostly for learning purposes☆32Updated last year
- Some CRDT implementations in Datalog☆16Updated 6 years ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- Template engine for ISO Prolog, based on Jinja and Tera☆17Updated last year
- The Ur/Web People Organizer☆30Updated last year
- Kanren with databases☆43Updated 10 months ago
- Proposed documentation for alloytools.org☆70Updated 6 months ago
- A compiler, testing bed, and standard library for the Choral programming language.☆28Updated last month
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A model checker for relational first-order temporal specifications☆27Updated 3 years ago
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- TLA+ Foundation☆29Updated 2 weeks ago
- The rewrite of TLAPM, the TLAPS proof manager☆1Updated 5 years ago
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆35Updated 6 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆28Updated 2 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Verified hash-based AMQ structures in Coq☆123Updated 5 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- A synthesis-enabled solver for relational logic☆27Updated 7 years ago
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 7 months ago
- A TLA+ module for animating TLC traces.☆46Updated 5 months ago
- Core components for the Scribble Java tools☆56Updated 8 months ago
- CHR2 to SQL conversion☆13Updated 9 years ago
- ☆41Updated 10 years ago
- Slog 1.0☆43Updated 11 months ago