CvO-Theory / aptLinks
APT – Analysis of Petri nets and labelled transition systems
☆19Updated last year
Alternatives and similar repositories for apt
Users that are interested in apt are comparing it to the libraries listed below
Sorting:
- Finite state machines as graphs☆60Updated 5 years ago
- Building Petri Nets in Javascript using Interaction Category semantics☆14Updated 8 years ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated last year
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆89Updated 5 years ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Updated 9 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- Java-based lightweight Prolog virtual machine☆35Updated last year
- A compiler, testing bed, and standard library for the Choral programming language.☆34Updated last month
- 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
- Relational Programming in miniKanren☆52Updated 10 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- Bidirectional transformation for Relational view update Datalog-based Strategies☆21Updated 2 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 9 years ago
- Clafer is a lightweight modeling language☆47Updated 9 months ago
- Obsidian language development☆80Updated last week
- Core components for the Scribble Java tools☆58Updated last year
- The mm-ADT Virtual Machine☆35Updated 5 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 11 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
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- The K tools (deprecated, see README)☆147Updated 7 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- The symbolic execution engine powering the K Framework☆222Updated 2 weeks ago
- Electrum is a temporal extension to Alloy. Alloy is a language for describing structures and a tool for exploring them. It has been used …☆48Updated 2 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 2 years ago
- Orc programming language implementation☆45Updated 3 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- ☆33Updated 11 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆139Updated 4 years ago