pascalpoizat / fbpmnLinks
formal tools for BPMN
☆34Updated 2 months ago
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 10 months ago
- syn·di·cate: a language for interactive programs☆159Updated 6 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- An ergonomic, mobile-first, Prolog playground!☆31Updated 3 years ago
- Relational Algebra at your fingertips☆62Updated 10 years ago
- A Prolog library to connect to PostgreSQL databases☆102Updated last year
- Domain Specific Languages for Computational Law☆77Updated 2 months ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Updated 9 years ago
- A Typed, Composable Database Query Language☆104Updated 4 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆134Updated 2 months ago
- Awesome datalog libraries, tools and resources☆63Updated 5 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- The Ur/Web People Organizer☆30Updated last year
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Kanren with databases☆44Updated last year
- Slog 1.0☆43Updated last year
- Beating the CAP theorem with the epidemic register☆17Updated 5 years ago
- Clafer is a lightweight modeling language☆47Updated 6 months ago
- A terse Prolog course☆43Updated 6 years ago
- Prolog, Datalog, languages, resources, and beyond!☆32Updated 10 months ago
- Bringing Prolog to the masses.☆36Updated 3 years ago
- A simulator for visualising the evolution of π-calculus terms☆42Updated 3 years ago
- SOMns: A Newspeak for Concurrency Research☆70Updated 6 months ago
- A proof-of-concept SWI-Prolog implementation of Web Prolog☆189Updated 4 years ago
- A compiler, testing bed, and standard library for the Choral programming language.☆30Updated last week
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- A wiki and web-services based development environment for Awelon project☆92Updated 6 years ago
- ☆41Updated 10 years ago
- purple: compiling a reflective language☆33Updated 10 months ago