APT – Analysis of Petri nets and labelled transition systems
☆19Feb 28, 2026Updated 5 months 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:
- Term Rewriting Systems☆17Nov 7, 2015Updated 10 years ago
- Reason about Term Rewriting Systems☆19Jul 24, 2022Updated 4 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☆14Jan 5, 2015Updated 11 years ago
- JSON instances generation and validation from JSON Schema and other JSON data descriptions☆39Jun 29, 2017Updated 9 years ago
- 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.
- Unsorted files for Minsky's TT2500 computer☆14Mar 27, 2024Updated 2 years ago
- Erlang Declarative Debugger☆20Jul 22, 2020Updated 6 years ago
- ☆14Sep 29, 2021Updated 4 years ago
- Google Chrome browser extension for searching multiple social networks.☆27Jul 25, 2017Updated 9 years ago
- Project management for the City of Austin's new digital service delivery platform, Austin.gov.☆11Jun 28, 2021Updated 5 years ago
- DungeoNes is a game prototype developed for NES with ASM 6502.☆14Oct 13, 2021Updated 4 years ago
- JavaScript-only HTML template engine and WebComponent library☆17Oct 17, 2023Updated 2 years ago
- Erlang lazy lists library.☆39Jun 6, 2017Updated 9 years ago
- 126 Free 16px Icons, in various formats (SVG, PNG, JPG, TTF).☆15Mar 29, 2018Updated 8 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.
- Tree-sitter grammar for the Fennel programming language☆20Jan 21, 2026Updated 6 months ago
- Command-line tool for working with machinepacks and machines.☆14Sep 23, 2016Updated 9 years ago
- The mnemosyne Cache library☆19Jun 15, 2026Updated 2 months ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆56Sep 14, 2011Updated 14 years ago
- mirror Nix binary cache for the offline workflow☆17Jul 26, 2020Updated 6 years ago
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆20Aug 23, 2021Updated 4 years ago
- Golang midi package☆13Sep 10, 2023Updated 2 years ago
- Tic-tac-toe using react & xstate☆12Dec 25, 2021Updated 4 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…☆15Apr 5, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Go types of schema.org ontology☆12Oct 13, 2024Updated last year
- An evolutionary source-code fuzzer☆11Aug 3, 2026Updated 2 weeks ago
- Vert.x 2.x is deprecated - use instead☆16Nov 2, 2016Updated 9 years ago
- Browser-based 3D turtle graphics plotter and L-system interpreter using Three.js.☆16Aug 26, 2021Updated 4 years ago
- Extreme Java Turtle Graphics☆15Jul 14, 2013Updated 13 years ago
- ☆11Nov 11, 2023Updated 2 years ago
- Notes on learning to solder and setting up an electronics lab☆26Jan 12, 2021Updated 5 years ago
- WebVR voxel.js plugin☆14Feb 18, 2016Updated 10 years ago
- Next-generation end-to-end low code language based on Petri nets.☆21Jul 30, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A distributed work-item database for agent swarms, using git as the sync layer☆24Updated this week
- Package your Brython/Python package as brython_modules.js☆16Feb 17, 2022Updated 4 years ago
- ☆10May 14, 2018Updated 8 years ago
- Apache Winegrower☆13May 15, 2026Updated 3 months ago
- Module for the 'fog' gem to support XENSERVER☆17Nov 8, 2018Updated 7 years ago
- Library for using sockjs for websocket communication☆10Jul 15, 2022Updated 4 years ago
- Jack Midi to OSC☆14Nov 25, 2023Updated 2 years ago