Tests with PlusCal / TLA+
☆25Jan 12, 2017Updated 9 years ago
Alternatives and similar repositories for pluscal
Users that are interested in pluscal are comparing it to the libraries listed below
Sorting:
- Pluscal/TLA+ modeling of distributed systems/protocols☆81Oct 21, 2023Updated 2 years ago
- Examples for TLAPS (TLA+ Proof System)☆16May 9, 2020Updated 5 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- Power up your text processing via macros☆15Jul 31, 2022Updated 3 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 6 years ago
- gema - general purpose macro processor☆18Mar 26, 2014Updated 11 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- Bolts: Stainless Verified Scala Examples☆29Feb 20, 2026Updated last week
- Kafka as a Datalog Engine☆28Mar 31, 2025Updated 11 months ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- Program logic for developing and verifying distributed systems☆36Updated this week
- A local first persistent log☆36Sep 14, 2025Updated 5 months ago
- A translator from c to MLIR☆33Nov 15, 2021Updated 4 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Run Lighthouse performance audit with TestCafe☆11Nov 9, 2023Updated 2 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 17, 2026Updated last week
- A Swiss Army knife for read-write quorum systems☆86Jun 7, 2021Updated 4 years ago
- TLA+ specification of Flexible Paxos☆42Sep 29, 2023Updated 2 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 8 years ago
- Cache wrapper for lua-resty-dns☆11Apr 19, 2017Updated 8 years ago
- ☆33Dec 23, 2025Updated 2 months ago
- A Datalog execution engine for Scala☆15Sep 1, 2025Updated 6 months ago
- Website for LauzHack, EPFL's largest hackathon.☆12Feb 20, 2026Updated last week
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- Focused Crawler for VT's CTRNet☆10May 13, 2013Updated 12 years ago
- An experimental test runner for LookML models.☆11Sep 17, 2021Updated 4 years ago
- An alternative to OpenFaaS nats-queue-worker for long-running functions☆11Dec 14, 2022Updated 3 years ago
- Prima JWKS-sync client implementation for Auth0☆10Feb 18, 2026Updated last week
- DX Hub: ignite your Backstage Developer Portal☆12Jul 6, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Sundial: A distributed OLTP database testbed.☆39Sep 25, 2020Updated 5 years ago
- Protocol Analyzer written in Erlang☆21May 23, 2017Updated 8 years ago
- Homebrew tap for Buf.☆14Updated this week
- A cross-platform library for retrieving information about connected devices.☆11Sep 5, 2023Updated 2 years ago
- Java language bindings for the Librato API☆24Sep 13, 2023Updated 2 years ago
- 🚀 Sliding Window Attention Training for Efficient Large Language Models☆16Dec 8, 2025Updated 2 months ago
- ☆17Nov 21, 2020Updated 5 years ago
- Topic Modeling over Paul Graham's essays☆12Jun 25, 2018Updated 7 years ago