☆33Nov 23, 2014Updated 11 years ago
Alternatives and similar repositories for tlaplus
Users that are interested in tlaplus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆17Nov 24, 2017Updated 8 years ago
- This is a simple example of how to provide an HTTP api to Scalaris via Mochiweb☆11Jul 29, 2008Updated 18 years ago
- DEPRECATED repository. Now lives in chef-server.☆13Apr 22, 2015Updated 11 years ago
- A library to handle SSTable, the immutable and compressed key-value file format☆14Feb 16, 2010Updated 16 years ago
- A Simple Key Value Store☆12Apr 8, 2011Updated 15 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- approximate streaming quantiles☆31Jun 15, 2014Updated 12 years ago
- An OCaml client for Riak☆15Nov 12, 2022Updated 3 years ago
- Parinfer in Python☆10Feb 3, 2023Updated 3 years ago
- CS 733 assignments☆25Apr 23, 2015Updated 11 years ago
- A simple REPL for TLA+.☆42Mar 15, 2024Updated 2 years ago
- Another Erlang to Object Notation translator☆10Sep 27, 2016Updated 10 years ago
- TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…☆28Feb 26, 2024Updated 2 years ago
- TLA+ specification for the Raft consensus algorithm☆528Feb 18, 2025Updated last year
- Simple object method instrumentation☆11Apr 11, 2016Updated 10 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.
- Dr. TLA+ series - learn an algorithm and protocol, study a specification☆860Apr 18, 2022Updated 4 years ago
- A guide to OMake (written in Japanese)☆13Aug 16, 2011Updated 15 years ago
- MessagePack MessageQueue without AMQP☆15Mar 31, 2013Updated 13 years ago
- A tutorial for clojure.tools.trace☆25Jul 2, 2013Updated 13 years ago
- Halflife is now a part of Reactor, and is available under Reactor Pipe☆16Feb 26, 2016Updated 10 years ago
- The TLA⁺ Proof Manager☆138Updated this week
- ☆11Aug 28, 2015Updated 11 years ago
- gk: streaming quantiles☆45Oct 22, 2021Updated 5 years ago
- Create an ERD for a database given as JSON-table-schema☆11Feb 8, 2016Updated 10 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.
- Hadoop Management System☆16Dec 2, 2025Updated 11 months ago
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- A small library for managing sets of JVM properties to configure an app or library.☆14Nov 22, 2021Updated 4 years ago
- MessagePack for OCaml/Coq☆15Feb 24, 2013Updated 13 years ago
- Github repo for Peifeng's internship project☆13Nov 7, 2023Updated 2 years ago
- Haskell library for reading perf.data files from the linux performance events tool.☆14Jul 14, 2015Updated 11 years ago
- Check the dependencies of tools-deps-based Clojure projects for vulnerabilities☆13Apr 17, 2019Updated 7 years ago
- ES2017 Atomics and SharedArrayBuffer based Semaphore implementation☆10Feb 7, 2017Updated 9 years ago
- [deprecated] Tokio Linux zero-copy IO☆13Dec 9, 2023Updated 2 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆12Aug 26, 2021Updated 5 years ago
- Cloud Computing library for erlang (Amazon EC2, S3, SQS, SimpleDB, Mechanical Turk, ELB)☆16Apr 24, 2018Updated 8 years ago
- Utility that exposes a Protobuffer Message as a Map☆10Oct 23, 2015Updated 11 years ago
- Skeleton files for a new Atlas project☆14Feb 12, 2018Updated 8 years ago
- Formal models of core Elasticsearch algorithms☆215Feb 5, 2025Updated last year
- cgroups-based cpuset isolator and resource estimator modules for mesos☆19Jan 9, 2017Updated 9 years ago
- A sample text-to-speech application from the Microsoft SAPI 5 SDK.☆13Jul 14, 2015Updated 11 years ago