A BPMN-specific model checker written in Rust.
☆18Nov 1, 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:
- zero-dependency rust crate for generating and applying partial diffs between struct instances☆36Aug 15, 2026Updated 2 months ago
- All in one (aka Aio) database with async support. Based on libsql/Sqlite, bevy_reflect and tokio, includes a dead simple API to be used (…☆18Jan 18, 2026Updated 9 months ago
- Load test shiny app against Docker Swarm and HA RSC Cluster.☆11Aug 2, 2017Updated 9 years ago
- An AI-powered agent system generating and verifying Lean 4 code, translating natural language problems into formally proven programs usin…☆22May 30, 2025Updated last year
- Agentic scientific-computing platform: a reactive multi-agent team that orchestrates PINA physics-informed neural-network workflows via p…☆15Updated this week
- 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.
- Go package to produce a repomap based on tree-sitter☆14Jan 29, 2025Updated last year
- ☆12Aug 24, 2025Updated last year
- Code to reproduce the material covered in Kùzu's YouTube tutorials☆20Oct 10, 2025Updated last year
- CouchDB Replication Protocol implementation in Python☆16May 22, 2014Updated 12 years ago
- NATSSL: Zero-Configuration Distributed TLS for Private Infrastructure☆13Oct 27, 2026Updated last week
- Blocking records for record linkage and data deduplication based on ANN algorithms in Python.☆21Mar 9, 2026Updated 7 months ago
- A lightweight contractor invoice management system built with Clojure.☆10Jan 17, 2026Updated 9 months ago
- ☆11Jan 9, 2025Updated last year
- Opinionated Elasticsearch query language for Rust☆11Jul 24, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Plugin for interacting with LLMs in Polars☆30Oct 5, 2026Updated last month
- An open-source authorization layer where owners set policies, agents ask before acting, and counterparties can verify the agent was autho…☆15Oct 14, 2026Updated 3 weeks ago
- "Local LLM agent runtime in Rust — native tool-role support, tmux session persistence, two-tier summarization, SQLite tool logging and Sh…☆12Oct 13, 2026Updated 3 weeks ago
- daisyUI Components for Leptos☆11Aug 1, 2026Updated 3 months ago
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated last year
- 🧪 🕸️ Monaco-powered WebR "REPL"☆25Apr 11, 2023Updated 3 years ago
- Safe Withdrawal with Certainty Equivalent Cash Flow and TensorFlow☆21Sep 26, 2016Updated 10 years ago
- Orion is a globally distributed SQL Database for storing control plane metadata of SAAS applications.☆16Oct 9, 2026Updated 3 weeks ago
- ☆14Nov 4, 2025Updated last year
- 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.
- OxiFY is a graph-based LLM workflow orchestration platform built in Rust, designed to compose complex AI applications using directed acyc…☆14Sep 16, 2026Updated last month
- The reliability layer between your code and LLM providers.☆24Jan 6, 2025Updated last year
- Cross compiling Rust + C to WebAssembly using Zig☆14Jan 19, 2026Updated 9 months ago
- Stalwart WebUI☆17Oct 7, 2026Updated 3 weeks ago
- Templates for Nix flakes☆11Jan 20, 2024Updated 2 years ago
- Lightweight, open-source, self-hosted Git server and forge written in Rust. Gitea/Forgejo/GitHub alternative with pull requests, CI/CD an…☆23Updated this week
- An R wrapper for the U.S. Department of Transportation National Highway Traffic Safety Administration's API.☆21Sep 20, 2015Updated 11 years ago
- An embedded Rust IDE with an emphasis on a fun and insightful coding experience☆11Sep 23, 2024Updated 2 years ago
- BianryNinja plugin for identifying vulnerabilities in decompiled binaries with both programmatic scans and LLM support.☆18Jun 19, 2026Updated 4 months 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 simple cross-platform desktop application for S3-Compatible Object Storage. Built in Rust using egui and OpenDAL.☆60Jul 1, 2024Updated 2 years ago
- Rust MCP filesystem server for AI coding agents: view, edit, batch-edit, shell, search, hash-verified line ids, SSH/SFTP☆19Updated this week
- A lightweight document editor combining the simplicity of markdown notes with the power of dynamic spreadsheets.☆22Updated this week
- Add a REPL to a Bevy app☆12Updated this week
- TURN OFF THE CURSOR's TELEMETRY☆10Jun 11, 2026Updated 4 months ago
- Terminal UI, CLI, and MCP server for NetBox — fast search, IPAM lookups, and device context.☆16Updated this week
- A cross-platform Matrix client written in Rust, with the GPUI rendering library☆17Oct 23, 2026Updated 2 weeks ago