☆27Jun 2, 2014Updated 11 years ago
Alternatives and similar repositories for tlaplus
Users that are interested in tlaplus are comparing it to the libraries listed below
Sorting:
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆14Dec 16, 2024Updated last year
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- ☆30Mar 4, 2024Updated last year
- ☆10Oct 11, 2022Updated 3 years ago
- a scaleable ring topology network on chip (NoC) implemented in BSV☆12Oct 14, 2014Updated 11 years ago
- Ask question to your PDF☆11Jun 11, 2023Updated 2 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- A Rock Garden☆15Dec 5, 2011Updated 14 years ago
- All our CS251 assignments☆12Nov 10, 2016Updated 9 years ago
- Project to automate the installation of JBoss BPM Suite without preconfiguration beyond a single admin user.☆11Nov 10, 2017Updated 8 years ago
- Specifying and Verifying CRDT Protocols using TLA+☆41Jun 24, 2021Updated 4 years ago
- Application Security Vulnerability Periodic Table☆14Aug 25, 2014Updated 11 years ago
- Leo code snippets☆13Apr 27, 2020Updated 5 years ago
- A simple PHP script that prints the blocks and transactions from bitcoin's blk*.dat files.☆11Jun 30, 2020Updated 5 years ago
- ☆11Mar 3, 2021Updated 4 years ago
- Check the dependencies of tools-deps-based Clojure projects for vulnerabilities☆13Apr 17, 2019Updated 6 years ago
- PoWx mission: Aiming at smaller energy per hash hardware.☆11Dec 18, 2021Updated 4 years ago
- a PostgreSQL extension that allows you to set quotas on connections (per user, database or IP)☆13Dec 12, 2014Updated 11 years ago
- Some notes on the relationship between the Legendre and Fourier transforms☆11Dec 18, 2025Updated 2 months ago
- KLayoutPhotonicPCells Core Library. Functionallities to extend KLayout PCells for Photonics☆10Jan 10, 2020Updated 6 years ago
- Code for the paper "Variational Monte Carlo Approach to Partial Differential Equations with Neural Networks" (https://arxiv.org/abs/2206.…☆10Aug 8, 2022Updated 3 years ago
- A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.☆12Dec 27, 2016Updated 9 years ago
- Source Code for 'Data Mashup with Microsoft Excel Using Power Query and M' by Adam Aspin☆10Aug 4, 2020Updated 5 years ago
- Stan Jupyter Magic☆11Oct 6, 2018Updated 7 years ago
- An Android app for ClojureDocs☆14Jan 27, 2012Updated 14 years ago
- App for appending clipboard text into file using a global hotkey.☆10Dec 16, 2016Updated 9 years ago
- Pastenum is a text dump enumeration tool.☆14Dec 9, 2013Updated 12 years ago
- Here comes the paintrain!☆11Aug 8, 2016Updated 9 years ago
- ☆13Feb 18, 2026Updated last week
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- Example Test-Driven Infrastructure DevOps repo using Ansible, Serverspec, AWS, and Circle CI☆12Aug 27, 2015Updated 10 years ago
- ☆11Mar 30, 2016Updated 9 years ago
- functional template library☆15Jun 13, 2016Updated 9 years ago
- Themis MapReduce and TritonSort☆11Nov 2, 2017Updated 8 years ago
- Simplified and community-driven man pages☆10Feb 28, 2016Updated 10 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- Experiments with syntax and symbols☆15Mar 5, 2019Updated 6 years ago
- Notes on Algebra and Recursive Data Types☆10Oct 7, 2011Updated 14 years ago
- Tor relay nearest neighbour ranking☆10Oct 18, 2021Updated 4 years ago