A simple library for modelling and executing Petri Nets
☆14Jan 5, 2015Updated 11 years ago
Alternatives and similar repositories for petri-net
Users that are interested in petri-net are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Javascript library to display and interact with Petri Nets.☆15Nov 16, 2017Updated 8 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- APT – Analysis of Petri nets and labelled transition systems☆19Feb 28, 2026Updated 6 months ago
- Sliding Puzzle solver and utilities☆12Jan 21, 2024Updated 2 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Oct 2, 2021Updated 4 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.
- Reusable slice of references☆12Jul 12, 2026Updated 2 months ago
- Safely running potentially non-terminating functions in Elm.☆10Apr 20, 2021Updated 5 years ago
- Baking rumprun images with cargo☆12Sep 26, 2015Updated 10 years ago
- A package manager for RingoJS☆13Feb 24, 2015Updated 11 years ago
- Seax Virtual Machine☆12Feb 13, 2017Updated 9 years ago
- Stereo lithography file support for Rust.☆12Jul 29, 2023Updated 3 years ago
- Linenoise FFI binding in rust☆12Apr 4, 2022Updated 4 years ago
- Haskell reimplementation of Selecta☆16Jul 17, 2019Updated 7 years ago
- Generic B-Spline Curves in Rust☆43Feb 11, 2022Updated 4 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.
- Utility to automate downloads of torrent series☆12Jan 27, 2026Updated 7 months ago
- Messaging overlay network for microservices☆14Apr 29, 2016Updated 10 years ago
- Dorado observation planning and scheduling simulations. Replaced by https://github.com/m4opt/m4opt☆24Oct 21, 2024Updated last year
- Automated Continuous Data Quality Measurement☆12Nov 15, 2023Updated 2 years ago
- Mirror of https://gitlab.redox-os.org/redox-os/liner☆14Jul 29, 2024Updated 2 years ago
- Simple frame profiler☆15Dec 26, 2017Updated 8 years ago
- A persistent history tree for undo/redo☆25Apr 11, 2021Updated 5 years ago
- A framework for creating production grade plugable React app.☆17Nov 27, 2024Updated last year
- This project has not been updated in a long time. For a Node-based MTConnect agent project, please see https://github.com/mtconnect/mtcon…☆13Aug 17, 2016Updated 10 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Rust wrapper for LibRaw☆12Jul 2, 2018Updated 8 years ago
- Plugin to support Dex dynamic OIDC authorization to Vault.☆10Apr 10, 2019Updated 7 years ago
- Visualize your CRITs IOC's in Maltego☆12Jan 13, 2015Updated 11 years ago
- run cron jobs using sidekiq, resque, delayed_job, or sucker_punch☆16Nov 8, 2017Updated 8 years ago
- general-purpose fast, stateless, and deterministic feature extractor written in golang for use in machine learning☆12Mar 17, 2018Updated 8 years ago
- Ladder Logic Compiler for node.js and the web☆10Nov 18, 2014Updated 11 years ago
- Toolbox for PLC implementation building on the `ethercat` crate☆18Mar 25, 2025Updated last year
- Generate triangle meshes in the shape of trees, composed out of simple tetrahedron shapes.☆11May 14, 2017Updated 9 years ago
- Teaching a humanoid to walk(ish), then displaying in your browser (using tensorflow.js and reinforcement learning)☆10Sep 7, 2020Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- convtools is a specialized Python library for dynamic, declarative data transformations with automatic code generation☆41Sep 13, 2026Updated last week
- Switch between different git users☆15Feb 12, 2018Updated 8 years ago
- GAMELAN (Game Mengenal Budaya Nusantara)☆12Jul 13, 2018Updated 8 years ago
- A game server for Cube 2: Sauerbraten.☆13Oct 5, 2025Updated 11 months ago
- A double-ended priority queue implemented with an interval heap.☆17Jul 31, 2017Updated 9 years ago
- Rugged embedded and client/server key-value database (Rust implementation)☆19Sep 5, 2026Updated 2 weeks ago
- ☆56Mar 2, 2017Updated 9 years ago