A BPMN-specific model checker written in Rust.
☆18Sep 26, 2026Updated this week
Alternatives and similar repositories for rust_bpmn_analyzer
Users that are interested in rust_bpmn_analyzer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Mar 26, 2024Updated 2 years ago
- NetworkX Addon to interface with LEMON graph library.☆13Mar 2, 2021Updated 5 years ago
- Discover how to use Rust to generate WebAssembly, called by JavaScript☆18Jan 4, 2023Updated 3 years ago
- "Batteries Included" web framework for Rust designed to get you moving fast 🏎️☆31Aug 5, 2026Updated last month
- A template for deploying SvelteKit to Github Pages.☆14Apr 13, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Google's Operations Research tools:☆15Sep 10, 2026Updated 2 weeks ago
- Discover WebAssembly System Interface (WASI) with C/Rust use cases☆27Mar 3, 2023Updated 3 years ago
- Code to reproduce the material covered in Kùzu's YouTube tutorials☆20Oct 10, 2025Updated 11 months ago
- ☆11Jan 9, 2025Updated last year
- Install PowerShell via npm for use in npm scripts or elsewhere.☆12Aug 9, 2020Updated 6 years ago
- CouchDB Replication Protocol implementation in Python☆16May 22, 2014Updated 12 years ago
- This repo contains the code for the CodeGenHero Nugets. This also contains, BingoBuzz, a sample Xamarin.Forms project☆11Dec 8, 2022Updated 3 years ago
- Blocking records for record linkage and data deduplication based on ANN algorithms in Python.☆21Mar 9, 2026Updated 6 months ago
- ☆13Jan 21, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An embedded Rust IDE with an emphasis on a fun and insightful coding experience☆11Sep 23, 2024Updated 2 years ago
- A type-safe, deeply-embedded SQL query DSL for Lean 4☆23Sep 5, 2026Updated 3 weeks ago
- ☆12Mar 29, 2019Updated 7 years ago
- A simple cross-platform desktop application for S3-Compatible Object Storage. Built in Rust using egui and OpenDAL.☆61Jul 1, 2024Updated 2 years ago
- duckdb_wasm in jupyterlite & pyodide☆22May 1, 2023Updated 3 years ago
- Templates for Nix flakes☆11Jan 20, 2024Updated 2 years ago
- Skattered tools from Skatterbrainz☆14Jan 7, 2019Updated 7 years ago
- An open source PNID labeling tool☆11Aug 23, 2024Updated 2 years ago
- Image viewer with tag based filtering☆16Aug 30, 2026Updated 3 weeks 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.
- A JavaScript implementation of Git.☆13Mar 22, 2018Updated 8 years ago
- AI-assisted verification of Dafny Programs☆20Nov 9, 2025Updated 10 months ago
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated last year
- A Power BI template that generates a Process Behaviour Chart (PBC) to visualize the variability and predictablity agile teams using Jira …☆14Dec 19, 2025Updated 9 months ago
- ☆12Dec 16, 2025Updated 9 months ago
- Racket bindings for the Slack API☆10Mar 4, 2019Updated 7 years ago
- A PowerShell module for Symantec's Altiris ASDK uses web service calls☆11Oct 3, 2019Updated 6 years ago
- ghjk is a programmable runtime manager and an attempt at a successor for asdf.☆10Mar 11, 2026Updated 6 months ago
- Documentation for☆10Mar 11, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A function to make console spinners from PowerShell...☆19Dec 26, 2020Updated 5 years ago
- An R wrapper for the U.S. Department of Transportation National Highway Traffic Safety Administration's API.☆21Sep 20, 2015Updated 11 years ago
- Rust crates/libraries for Minecraft bots, clients, and servers☆10Updated this week
- Cargotracker RegisterApp Client written in JavaFX/CDI☆11Aug 10, 2026Updated last month
- ☆12Jan 14, 2025Updated last year
- OData ts library☆10May 11, 2018Updated 8 years ago
- cmd+k☆12Mar 10, 2024Updated 2 years ago