APT – Analysis of Petri nets and labelled transition systems
☆19Feb 28, 2026Updated 3 weeks ago
Alternatives and similar repositories for apt
Users that are interested in apt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Feb 1, 2017Updated 9 years ago
- A simple library for modelling and executing Petri Nets☆15Jan 5, 2015Updated 11 years ago
- 🗣️ libp2p pubsub with controls exposed via a gRPC API☆14Jul 5, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Petri Net Simulator program☆10Nov 27, 2017Updated 8 years ago
- Ethereum DEVnet - one node, automatic address generation, genesis block setup + mining script ~160MB☆12Mar 6, 2021Updated 5 years ago
- A Javascript library to display and interact with Petri Nets.☆14Nov 16, 2017Updated 8 years ago
- Project management for the City of Austin's new digital service delivery platform, Austin.gov.☆11Jun 28, 2021Updated 4 years ago
- NO LONGER MAINTAINED☆15Aug 30, 2019Updated 6 years ago
- Command-line tool for working with machinepacks and machines.☆14Sep 23, 2016Updated 9 years ago
- Efficient multivariate correlation measure / high contrast subspace miner.☆19Jun 24, 2020Updated 5 years ago
- Golang midi package☆13Sep 10, 2023Updated 2 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Tic-tac-toe using react & xstate☆12Dec 25, 2021Updated 4 years ago
- Go types of schema.org ontology☆11Oct 13, 2024Updated last year
- Scrapes Google's stock API☆17Sep 30, 2018Updated 7 years ago
- Keyboard shortcuts to MIDI commands for e.g. Ableton Live (see Selected_Track_Control) on OS X☆15Nov 18, 2020Updated 5 years ago
- Java implementation of the Process Mining Alpha algorithm for Workflow Network discovery☆18Mar 28, 2016Updated 9 years ago
- Gizmo is an effortless way to create web applications in Clojure☆41Jan 2, 2016Updated 10 years ago
- In this repository, we deal with the task of implementing a small library of persistent data structures in C. A persistent data structure…☆14Apr 5, 2021Updated 4 years ago
- Voice AI Observability, Elevated☆24Mar 20, 2026Updated last week
- ☆11Nov 11, 2023Updated 2 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Python client library for the Factom API☆18Oct 23, 2020Updated 5 years ago
- Blueprints implementation on top of MongoDB☆42Jul 25, 2013Updated 12 years ago
- A framework for creating production grade plugable React app.☆17Nov 27, 2024Updated last year
- ☆11Aug 16, 2021Updated 4 years ago
- A Node.js wrapper around the Saucelabs tunnel jar☆27Oct 2, 2019Updated 6 years ago
- Package your Brython/Python package as brython_modules.js☆17Feb 17, 2022Updated 4 years ago
- Pure C++ Node.js RocksDB binding. An abstract-leveldown compliant store.☆12May 11, 2023Updated 2 years ago
- WebVR voxel.js plugin☆14Feb 18, 2016Updated 10 years ago
- ☆10May 14, 2018Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Library for using sockjs for websocket communication☆10Jul 15, 2022Updated 3 years ago
- Jack Midi to OSC☆14Nov 25, 2023Updated 2 years ago
- Circom syntax highlighting for vim☆15May 15, 2019Updated 6 years ago
- Module for the 'fog' gem to support XENSERVER☆17Nov 8, 2018Updated 7 years ago
- Manipulate Sigma.js graphs with the Gremlin API☆20Dec 9, 2016Updated 9 years ago
- tools for working with directed acyclic graphs (DAGs)☆20Dec 8, 2022Updated 3 years ago
- Proof of Concept for decentralized mmorpg (on JS)☆11Feb 3, 2018Updated 8 years ago