This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware," 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), Toulouse, France, 2017, pp. 146-152.
☆18Nov 24, 2017Updated 8 years ago
Alternatives and similar repositories for pingpong
Users that are interested in pingpong are comparing it to the libraries listed below
Sorting:
- Vim filetype for the TLA+ specification language and proofs☆22Jun 25, 2021Updated 4 years ago
- Provides train map foresight by processing mission profile, map regions and coupled localization data.☆10Apr 17, 2024Updated last year
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- 💁 Counterfactual and Upgradable Self-Sovereign Identity for Ethereum, using Gnosis Safe☆15Sep 5, 2018Updated 7 years ago
- CVE-2023-40028 affects Ghost, an open source content management system, where versions prior to 5.59.1 allow authenticated users to uploa…☆13Jan 7, 2025Updated last year
- A Python simulator used to model cross shard transaction strategies for Ethereum 2.0☆11May 3, 2024Updated last year
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- Testground: SDK for developing test plans in Go☆12May 24, 2024Updated last year
- Pastry DHT implementation with a standalone libp2p compatible node☆12Jun 22, 2020Updated 5 years ago
- Joint first place winner at Unlock the Block Hackathon 2018☆12Feb 1, 2018Updated 8 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆14Dec 16, 2024Updated last year
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- ☆11Feb 24, 2026Updated last week
- ☆11Mar 17, 2021Updated 4 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 8 years ago
- ☆14Mar 2, 2021Updated 5 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- WhatsAppChatBeautifier is a tool to render WhatsApp chats.☆13Dec 1, 2021Updated 4 years ago
- Blacklisting tools for ENS☆13Aug 7, 2018Updated 7 years ago
- Simple wiki for the org☆12Jan 28, 2019Updated 7 years ago
- ⬆ A program for deploying and upgrading programs.☆28Mar 2, 2023Updated 3 years ago
- MCUXpresso SDK examples sources and board specific examples enablement files.☆17Feb 23, 2026Updated last week
- Generalised ERC721 Auction House☆12Dec 16, 2021Updated 4 years ago
- ☆10Apr 19, 2023Updated 2 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Aug 31, 2021Updated 4 years ago
- An automated market maker running on top of CoW Protocol☆17Jul 31, 2025Updated 7 months ago
- Go library to access the blockchain state of Go-ethereum☆16Feb 14, 2023Updated 3 years ago
- A simple Swift state machine!☆10Apr 19, 2016Updated 9 years ago
- ☆10Oct 2, 2021Updated 4 years ago
- Implements the Barreto-Naehrig (BN) curve as used by Ethereum☆12May 31, 2019Updated 6 years ago
- CL-FFF: Fractal's Fine Framework☆13Apr 30, 2016Updated 9 years ago
- A simple /proc/<pid>/{mem,maps} library for Rust☆11May 28, 2022Updated 3 years ago
- Systematic Protocol Analysis Project☆11Jun 13, 2017Updated 8 years ago
- A iOS Terminal from MTerminal, I just reorganize it☆12Aug 24, 2015Updated 10 years ago