APT – Analysis of Petri nets and labelled transition systems
☆19Feb 28, 2026Updated 3 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:
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 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
- An implementation of the reversible semantics for Erlang.☆13Nov 9, 2017Updated 8 years ago
- Erlang Declarative Debugger☆20Jul 22, 2020Updated 5 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.
- ☆12Nov 24, 2021Updated 4 years ago
- Project management for the City of Austin's new digital service delivery platform, Austin.gov.☆11Jun 28, 2021Updated 4 years ago
- Redis based Finite State Machine☆10Mar 3, 2015Updated 11 years ago
- Rough and dirty web Mud game - using SockJS and Django☆21Nov 3, 2011Updated 14 years ago
- Platform Certificate Validation Tool - TPM 2.0☆11Dec 9, 2018Updated 7 years ago
- Simple hlisp project setup.☆41Feb 16, 2013Updated 13 years ago
- Roostrap is a proven rapid application framework compilation built by putting together Spring Roo, Twitter Bootstrap and Google AppEngine…☆34Dec 5, 2014Updated 11 years ago
- Command-line tool for working with machinepacks and machines.☆14Sep 23, 2016Updated 9 years ago
- Generating music with Machine Learning☆11Feb 8, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- mirror Nix binary cache for the offline workflow☆18Jul 26, 2020Updated 5 years ago
- Golang midi package☆13Sep 10, 2023Updated 2 years ago
- A Plugin for reveal.js to use your webcam and waving/a swipe to advance trhough your slides☆29Mar 6, 2022Updated 4 years ago
- ☆19Jan 31, 2025Updated last year
- [W.I.P] A Just-In-Time Java Virtual Machine written in Haskell☆21Aug 23, 2021Updated 4 years ago
- Tic-tac-toe using react & xstate☆12Dec 25, 2021Updated 4 years ago
- Go types of schema.org ontology☆11Oct 13, 2024Updated last year
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Sep 14, 2011Updated 14 years ago
- Scrapes Google's stock API☆18Sep 30, 2018Updated 7 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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 5 years ago
- An internet radio for you and your friends☆12Dec 22, 2015Updated 10 years ago
- ☆13Jan 6, 2022Updated 4 years ago
- ☆11Nov 11, 2023Updated 2 years ago
- Python client library for the Factom API☆17Oct 23, 2020Updated 5 years ago
- A framework for creating production grade plugable React app.☆17Nov 27, 2024Updated last year
- This project makes QMK as a library, and build on top of Zephyr RTOS.☆10May 5, 2025Updated last year
- Algorithmic trading platform☆10May 9, 2026Updated last month
- 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 set of example applications demonstrating the use of the Notifications API. A Windows Phone application acts as the notification servic…☆24Nov 21, 2014Updated 11 years ago
- Mouse replacement software to use computers with your eyes with support of a compatible Tobii Eye Tracker.☆10Jul 5, 2020Updated 5 years ago
- Quick solution to clear your fprint storage☆15Jun 24, 2023Updated 2 years ago
- Iterable maps library for Ethereum Solidity☆18May 31, 2017Updated 9 years ago
- Package your Brython/Python package as brython_modules.js☆16Feb 17, 2022Updated 4 years ago
- Interpreter for the reversible functional language rFun☆40Feb 28, 2018Updated 8 years ago
- WebVR voxel.js plugin☆14Feb 18, 2016Updated 10 years ago