hwayne / alloydocs
Proposed documentation for alloytools.org
☆71Updated 4 months ago
Alternatives and similar repositories for alloydocs:
Users that are interested in alloydocs are comparing it to the libraries listed below
- A script for running TLA+/TLC from the command line☆81Updated 3 years ago
- Very small examples of TLA+ features.☆43Updated 5 years ago
- A public repository to host Alloy models. This repository holds public models to be used as entertainment, examples, tutorials, utilitie…☆130Updated last year
- A pure Haskell implementation of Datalog☆104Updated 4 years ago
- CLI-driven TLA+ project template☆43Updated 5 years ago
- Verified hash-based AMQ structures in Coq☆122Updated 4 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- Prolog, Datalog, languages, resources, and beyond!☆30Updated 4 months ago
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- Convert TLA+ output (and values) into JSON☆26Updated 4 years ago
- A tree-sitter grammar for TLA⁺ and PlusCal☆62Updated last month
- Datalog + Egg = Good☆66Updated last year
- Alloy*---Higher Order Logic for Alloy☆37Updated 5 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆43Updated 4 months ago
- Stroll: an experimental build system☆40Updated last year
- Jupyter kernel for TLA⁺☆120Updated 2 years ago
- Forward build system with speculation and caching☆102Updated last year
- Forge: A Tool and Language for Teaching Formal Methods☆73Updated this week
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Different TLA+ specifications, mostly for learning purposes☆31Updated 10 months ago
- Abstracting Definitional Interpreters☆67Updated 7 years ago
- Book: Introduction to Dependent Types with Idris☆77Updated 2 years ago
- Edison: A Library of Efficient Data Structures☆55Updated last month
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- An experimental type checker for a modal dependent type theory.☆110Updated 4 years ago
- Compilation and Verification of Data-Centric Languages☆57Updated 8 months ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- ☆166Updated 4 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 2 years ago
- TLA+ Foundation☆30Updated last week