timKraeuter / rust_bpmn_analyzerView external linksLinks
A BPMN-specific model checker written in Rust.
☆15Feb 3, 2026Updated last 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
Sorting:
- "Batteries Included" web framework for Rust designed to get you moving fast 🏎️☆28Feb 2, 2026Updated last week
- zero-dependency rust crate for generating and applying partial diffs between struct instances☆31Nov 26, 2025Updated 2 months ago
- ghjk is a programmable runtime manager and an attempt at a successor for asdf.☆11Feb 5, 2026Updated last week
- An embedded Rust IDE with an emphasis on a fun and insightful coding experience☆11Sep 23, 2024Updated last year
- ☆12Updated this week
- Racket bindings for the Slack API☆10Mar 4, 2019Updated 6 years ago
- 知乎索引☆22Aug 14, 2025Updated 5 months ago
- A delightful, type-safe web framework for Bun☆24Updated this week
- Google Guice component management System!☆10Sep 24, 2021Updated 4 years ago
- A save editor for KotOR 1 & 2☆10Nov 6, 2024Updated last year
- Boilerplate code for developing plugins for the TLSNotary browser extension using Extism☆11Aug 27, 2025Updated 5 months ago
- Example of running Bevy inside a Web Worker☆10Nov 28, 2024Updated last year
- A low-resource native app for sharing space with co-workers and friends.☆15Feb 20, 2025Updated 11 months ago
- Goroutine local storage library☆10Apr 27, 2018Updated 7 years ago
- A crate that provides a websocket networking transport layer for Bevy_eventwork that supports WASM and Native.☆13Mar 27, 2025Updated 10 months ago
- A simple cross-platform desktop application for S3-Compatible Object Storage. Built in Rust using egui and OpenDAL.☆59Jul 1, 2024Updated last year
- Automatic mesh generation.☆31Updated this week
- Easily Access and Manage Time Zone Information for Selected Cities.☆14Sep 9, 2024Updated last year
- ☆11Jan 9, 2025Updated last year
- A collection of (hopefully) useful crates written in Rust.☆13Updated this week
- Free and open-source manga reader☆12Feb 16, 2025Updated 11 months ago
- A lightweight toolkit for implicit geometry generation.☆15Jul 8, 2025Updated 7 months ago
- Enhanced version of binaryninja-ollama and without using the ollama Python library☆13Jan 23, 2025Updated last year
- Image viewer with tag based filtering☆16Jan 4, 2026Updated last month
- ☆12Feb 22, 2018Updated 7 years ago
- Database-like Asset management on top of ECS storage☆14Feb 1, 2026Updated last week
- Kanashi 是一款基于 kotlin 开发的分布式 NoSQL 内存数据库,支持事务。确切的来说,旨在作者加深学习分布式写出来的玩具,并不对标现有的成熟数据库。Kanashi 基于 netty 来进行通信,基于 raft 实现了选举,可以说是内置了一个粗糙的 NameS…☆10Sep 11, 2024Updated last year
- ☆11Dec 16, 2025Updated last month
- It's a project for making brainstorm eaiser when using keyboard.☆19Jul 15, 2025Updated 6 months ago
- ☆12Feb 5, 2026Updated last week
- Performance comparison wasm canvas with html canvas☆12May 15, 2025Updated 8 months ago
- ☆14Aug 4, 2024Updated last year
- Extends Rails with liquid-powered views stored in the database☆23Sep 14, 2011Updated 14 years ago
- Running a Bevy app in a Web Worker and interacting with HTML elements and the Bevy engine.☆64Feb 1, 2026Updated last week
- Turns raster images in to PCB silkscreen images using halftone technique☆11Mar 11, 2025Updated 11 months ago
- ☆15Dec 10, 2024Updated last year
- ☆12May 18, 2025Updated 8 months ago
- Application for testing and experimenting with digital twins.☆19Dec 15, 2025Updated last month
- contains plugins/systems to make serialization/deserialization with bevy smoother☆17May 15, 2025Updated 8 months ago