AlloyTools / alloytools.github.ioLinks
Website for Alloytools
☆13Updated 3 months ago
Alternatives and similar repositories for alloytools.github.io
Users that are interested in alloytools.github.io are comparing it to the libraries listed below
Sorting:
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆138Updated 7 months ago
- A webapp for developing and sharing Alloy models☆26Updated last year
- Python interpreter for TLA+ specifications☆116Updated last year
- 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
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Language bindings for Maude☆24Updated 3 months ago
- Core components for the Scribble Java tools☆58Updated last year
- TLA+ Foundation☆32Updated 2 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Unified Maude model-checking tool☆13Updated 2 weeks ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆38Updated 2 years ago
- 🗺️ ASP planning tools for PDDL☆32Updated 4 years ago
- ⛓️ Extension of clingo to handle constraints over integers☆34Updated this week
- The Heterogeneous Tool Set☆60Updated 4 months ago
- git mirror of the Munich isabelle hg repository☆131Updated this week
- Proposed documentation for alloytools.org☆71Updated 4 months ago
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆125Updated 3 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Updated 2 years ago
- ☆163Updated last week
- Specify and synthesize systems using symbolic algorithms☆52Updated last month
- ⚙️ A conflict-driven nogood learning answer set solver☆135Updated last week
- Program Round-off Error Certifier via Static Analysis☆56Updated last month
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆58Updated 11 years ago
- Source of metamath book☆55Updated 2 years ago
- Symbolic formula representation and solver interaction library☆174Updated this week
- Software specification and verification system based on graph rewriting☆37Updated 3 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Updated 11 months ago
- Learn TLA+ for free! No prior experience necessary!☆236Updated last month
- A simulation language☆21Updated 5 years ago
- Lem semantic definition language☆150Updated 10 months ago