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:
- 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
- Finite state machines as graphs☆60Updated 5 years ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated last year
- Obsidian language development☆79Updated 2 months ago
- A framework to execute and verify algorithms using Groth16 zkSNARKs.☆89Updated 5 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- SWI-Prolog Version Manager - Bash script to manage multiple active SWI-Prolog versions☆41Updated 3 years ago
- JIProlog is a Prolog interpreter, pure Java 100%, cross-platform and Open Source.☆140Updated 4 years ago
- Orc programming language implementation☆45Updated 4 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆28Updated 6 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years 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 …☆49Updated 3 years ago
- Core components for the Scribble Java tools☆58Updated last year
- Alloy*---Higher Order Logic for Alloy☆36Updated 6 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 7 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
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Updated 10 years ago
- Kodkod solver for relational logic☆84Updated 2 years ago
- The eclipse plugin for frege, codename fregIDE☆31Updated 6 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆80Updated 7 years ago
- Domain Specific Languages for Computational Law☆79Updated 7 months ago
- A Framework for building Distributed Consensus Protocols☆10Updated 8 years ago
- The K tools (deprecated, see README)☆147Updated 7 years ago
- The mm-ADT Virtual Machine☆35Updated 5 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 7 years ago
- ☆36Updated 2 years ago
- ☆71Updated 5 years ago
- ☆64Updated 7 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Updated 12 years ago
- 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