formal tools for BPMN
☆39Mar 4, 2026Updated 4 months ago
Alternatives and similar repositories for fbpmn
Users that are interested in fbpmn are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Exercises for the Dafny Tutorial☆14May 21, 2018Updated 8 years ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- Visual SH, GRAph SH - simple visual (diagrammatic) shell☆29May 3, 2023Updated 3 years ago
- CL-FFF: Fractal's Fine Framework☆13Apr 30, 2016Updated 10 years ago
- Explain semver requirements by converting them into less than, greater than, and/or equal to form.☆33Jan 26, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Contractual Semver☆28Apr 16, 2022Updated 4 years ago
- David McClain's 'Actors' package for LispWorks☆13Dec 12, 2017Updated 8 years ago
- Rudd is a Binary Decision Diagram (BDD) library written in pure Go.☆14Nov 20, 2024Updated last year
- Mirror of Sven Verdoolaege's isl at http://repo.or.cz/w/isl.git (occasionally with changes for islpy)☆10Dec 16, 2025Updated 6 months ago
- Reflective actor-based language☆28Jan 2, 2017Updated 9 years ago
- (ALPHA) Persistent, memory-mapped Common Lisp object store☆14Oct 26, 2020Updated 5 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆17Nov 24, 2017Updated 8 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆22Apr 17, 2024Updated 2 years ago
- High-Level Nets Blaster for the Model-Checking Contest☆12Jan 18, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Examples for TLAPS (TLA+ Proof System)☆17May 9, 2020Updated 6 years ago
- Build languages on Python.☆12May 2, 2021Updated 5 years ago
- ☆77Apr 13, 2021Updated 5 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- A place to improve your RFC writing skills and collaborate on writing RFCs☆10Dec 1, 2016Updated 9 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆21Nov 18, 2021Updated 4 years ago
- Tutorial for using the MPL compiler for Parallel ML☆23Jan 10, 2025Updated last year
- Vim Haskell stylish-haskell integration plugin☆12Sep 10, 2021Updated 4 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An Emacs major mode to edit and run SMTLIB v2 files☆10Nov 14, 2015Updated 10 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Jun 24, 2020Updated 6 years ago
- a Plan 9-like system based using tamago☆19Oct 10, 2023Updated 2 years ago
- ☆47Oct 20, 2021Updated 4 years ago
- ANTLR Grammar Parsing Service☆13Mar 3, 2018Updated 8 years ago
- Reproduce a Java 21 virtual threads deadlock scenario in TLA+☆10Aug 2, 2024Updated last year
- Source code for the VLDB 2021 paper.☆11May 19, 2021Updated 5 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 6 years ago
- Bellcore MGR, from version 0.69☆25Feb 26, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A VS Code extension for configuring the desired editor layout (files/terminals) for a workspace 🖼️☆14Jul 28, 2023Updated 2 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆65Sep 5, 2021Updated 4 years ago
- A fast Haskell library for parsing ByteStrings☆10Nov 19, 2021Updated 4 years ago
- Elephant is a persistent object database for Common Lisp with full transaction semantics.☆22Apr 16, 2018Updated 8 years ago
- Teaching Rust, sharing patterns, and exploring real-world code.☆14Mar 13, 2026Updated 3 months ago
- an extensible stack based interpreter toolkit☆67Jan 6, 2021Updated 5 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Jul 7, 2016Updated 10 years ago