CvO-Theory / aptLinks
APT – Analysis of Petri nets and labelled transition systems
☆19Updated 2 years ago
Alternatives and similar repositories for apt
Users that are interested in apt are comparing it to the libraries listed below
Sorting:
- Building Petri Nets in Javascript using Interaction Category semantics☆14Updated 9 years ago
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆89Updated 5 years ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 8 years ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated last year
- This repository contains the source code of the Ampersand compiler. For developing in VS-code, it contains a devcontainer. It contains a …☆43Updated this week
- A compiler, testing bed, and standard library for the Choral programming language.☆38Updated last month
- ☆59Updated 3 years ago
- The ATerm library is an extremely efficient library for maximally shared terms with a fast serialized format and a garbage collector (in …☆24Updated 12 years ago
- Dyna2 compiler and REPL☆147Updated 5 years ago
- Adding a table of contents to Specifying Systems, TLA+.pdf☆68Updated 8 years ago
- ☆71Updated 5 years ago
- Orc programming language implementation☆45Updated 4 years ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Updated 10 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- The K tools (deprecated, see README)☆147Updated 7 years ago
- A Formal Semantics of WebAssembly in K☆85Updated last week
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆49Updated 3 years ago
- The symbolic execution engine powering the K Framework☆223Updated last week
- A DSL for describing and implementing communication protocols☆84Updated 11 years ago
- DataLog meets NoSql☆63Updated 3 years ago
- Obsidian language development☆79Updated 2 months ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆140Updated 4 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated last month
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 3 years ago
- Categorical Query Language IDE☆322Updated last month
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Updated 7 years ago