TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results
☆11Apr 20, 2021Updated 5 years ago
Alternatives and similar repositories for channels
Users that are interested in channels are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fun tool that attempts to find product keys for commercial softwares☆18Jun 18, 2017Updated 9 years ago
- portable statsd + graphite server installation with puppet and vagrant☆73Jan 2, 2015Updated 11 years ago
- Extrude HTML content and arbitrary data to 3D.☆16Dec 9, 2022Updated 3 years ago
- Unified Maude model-checking tool☆13Jul 29, 2026Updated 2 months ago
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- 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.
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- Quantum Key Distribution Network Simulation Module (v2.0)☆35Oct 8, 2026Updated last week
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Wrapper for blocksec2go allowing easy hardware-based signing of Ethereum transactions☆12Feb 8, 2023Updated 3 years ago
- toy bitcoin script parser/evaluator/compiler/decoder☆16May 1, 2024Updated 2 years ago
- Key-value store on top of Raft Consensus Algorithm☆11Jun 12, 2018Updated 8 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Google Reader Mobipocket e-book creator☆20Jan 9, 2012Updated 14 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 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.
- A webapp for developing and sharing Alloy models☆27Feb 20, 2026Updated 7 months ago
- Infrastructure needed to generate, build and install the PD library for a given P4 program☆13Jul 11, 2017Updated 9 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆34Sep 9, 2026Updated last month
- Java Class file parser and analyzer written in Clojure☆15Dec 2, 2019Updated 6 years ago
- A handy cli interface to searching and opening books from your calibre library or recently read titles from your library.☆10Jun 14, 2020Updated 6 years ago
- An interactive wrapper around the Hugo site generator.☆20Mar 7, 2026Updated 7 months ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 6 years ago
- A WebAssembly-based linear constraint solver for JavaScript☆13Aug 31, 2017Updated 9 years ago
- Demonstrates creating a Toy IO effect system (TIO) from ground up☆12Jun 24, 2020Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Specification of a protocol for payment channels in TLA+☆14May 20, 2025Updated last year
- ☆11Sep 9, 2021Updated 5 years ago
- EDBC is Emacs-Lisp-based data access technology.☆25Jan 23, 2013Updated 13 years ago
- A verifier that integrates LLMs into automated C program verification☆20Apr 4, 2026Updated 6 months ago
- JS lib to create responsive gauges, based on D3 and SVG.☆11May 31, 2019Updated 7 years ago
- Realizing clojure data structures, no more laziness☆16Nov 7, 2023Updated 2 years ago
- An OpenTracing bridge for the Elastic APM Node.js Agent☆17Feb 17, 2024Updated 2 years ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆20Apr 7, 2026Updated 6 months ago
- The XBR Protocol - blockchain protocol for decentralized open data markets (https://pypi.org/project/xbr/)☆11Updated this week
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A Tamarin model and analysis of EMV contactless payments☆15Feb 16, 2021Updated 5 years ago
- This is an implementation of PartitionSort as described in "A Sorted-Partitioning Approach to Fast and Scalable Dynamic Packet Classifica…☆12Dec 6, 2016Updated 9 years ago
- Get a Voronoi diagram given some points☆16Jan 9, 2018Updated 8 years ago
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 years ago
- Lectures and hands-on on cloud computing infrastructures☆41Oct 6, 2026Updated last week
- ☆17Jun 6, 2023Updated 3 years ago
- A small MNIST-like The Simpsons character database to at least have some fun while training neural networks.☆12May 12, 2021Updated 5 years ago