Tests with PlusCal / TLA+
☆27Jan 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pluscal/TLA+ modeling of distributed systems/protocols☆84Oct 21, 2023Updated 2 years ago
- Examples for TLAPS (TLA+ Proof System)☆17May 9, 2020Updated 6 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 4 years ago
- ☆17Oct 2, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- ☆17Feb 23, 2026Updated 5 months ago
- ElasticSearch Plugin for Jasper Reports Studio☆14Aug 22, 2016Updated 9 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆45Apr 22, 2026Updated 3 months ago
- being the programs and code for a paper about general recursion☆26Feb 15, 2015Updated 11 years ago
- ☆10Oct 28, 2020Updated 5 years ago
- PDFReporter Studio is an open source, eclipse-based report designer based on JasperSoft Studio using the PDFReporter library. Create very…☆11Feb 25, 2015Updated 11 years ago
- ☆16Apr 15, 2019Updated 7 years ago
- Django-React starter with Docker support for fast and easy web development.☆15Sep 2, 2025Updated 11 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 鼠标动作录制回放工具☆14Sep 12, 2020Updated 5 years ago
- Public Key Infrastructure for IoT devices☆14Dec 7, 2022Updated 3 years ago
- A web-based application that provides a SQL editor to run queries and display results.☆15Mar 29, 2024Updated 2 years ago
- Eclipse TranslatorHelper: An eclipse plugin, help you looking up words online. (YouDao API)☆13Apr 5, 2017Updated 9 years ago
- Collect some useful SWT widgets for my applications.☆15Oct 15, 2014Updated 11 years ago
- A local first persistent log☆36Sep 14, 2025Updated 10 months ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Sundial: A distributed OLTP database testbed.☆39Sep 25, 2020Updated 5 years ago
- tool to generate jasperreports jrxml file from pdf file☆11May 11, 2019Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆504Apr 22, 2026Updated 3 months ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Updated this week
- 七夕情人节快到了，叫你如何用阿里云通信每天定时给你女朋友发短信☆13Aug 25, 2017Updated 8 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- ☆18May 16, 2024Updated 2 years ago
- Greip - Additional SWT Widgets☆15Jul 7, 2019Updated 7 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Jul 20, 2017Updated 9 years ago
- ☆15Jun 7, 2020Updated 6 years ago
- Elixir code and test generation from TLA+ specifications☆78May 16, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Rust Implementation of AMF (Action Media Format)☆12May 21, 2026Updated 2 months ago
- Print reports created using JasperReports using the Java API☆16Jul 22, 2026Updated 2 weeks ago
- TASTy Migration Manager☆12Oct 9, 2025Updated 10 months ago
- 前端react18 + antd5.x + vite3，后端springboot2.4.x，环境mysql5.7 + redis4。前后端分离，mvn一键打包，jar部署前后端。☆19Jul 6, 2026Updated last month
- A collection of TLA⁺ specifications of varying complexities.☆1,553Updated this week
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 9 years ago
- Utilities for the TLA+ ecoystem and model-based testing using TLA+.☆27Nov 18, 2022Updated 3 years ago