TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualizations of the results
☆10Apr 20, 2021Updated 4 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:
- Extrude HTML content and arbitrary data to 3D.☆16Dec 9, 2022Updated 3 years ago
- A fun tool that attempts to find product keys for commercial softwares☆18Jun 18, 2017Updated 8 years ago
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- Sources of the EuroProofNet web site.☆13Mar 19, 2026Updated last week
- Quantum Key Distribution Network Simulation Module (v2.0)☆31Feb 3, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An interactive wrapper around the Hugo site generator.☆20Mar 7, 2026Updated 2 weeks ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- MSIEVE: A Library for Factoring Large Integers☆15Apr 7, 2023Updated 2 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- An OpenTracing bridge for the Elastic APM Node.js Agent☆17Feb 17, 2024Updated 2 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- Wrapper for blocksec2go allowing easy hardware-based signing of Ethereum transactions☆12Feb 8, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Delimited continuations library☆17Nov 8, 2014Updated 11 years ago
- Distributed QC for Qiskit☆14Jan 18, 2024Updated 2 years ago
- Key-value store on top of Raft Consensus Algorithm☆11Jun 12, 2018Updated 7 years ago
- Infrastructure needed to generate, build and install the PD library for a given P4 program☆13Jul 11, 2017Updated 8 years ago
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- toy bitcoin script parser/evaluator/compiler/decoder☆16May 1, 2024Updated last year
- Java Class file parser and analyzer written in Clojure☆14Dec 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 5 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆32Jan 6, 2026Updated 2 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols☆15May 14, 2024Updated last year
- Demonstrates creating a Toy IO effect system (TIO) from ground up☆12Jun 24, 2020Updated 5 years ago
- NACHO - National Automated Clearing House Objects, a C# library for the NACHA ACH input file structure☆14Aug 6, 2021Updated 4 years ago
- JS lib to create responsive gauges, based on D3 and SVG.☆11May 31, 2019Updated 6 years ago
- Specification of a protocol for payment channels in TLA+☆15May 20, 2025Updated 10 months ago
- A small MNIST-like The Simpsons character database to at least have some fun while training neural networks.☆12May 12, 2021Updated 4 years ago
- A webapp for developing and sharing Alloy models☆27Feb 20, 2026Updated last month
- A WebAssembly-based linear constraint solver for JavaScript☆13Aug 31, 2017Updated 8 years ago
- Automated Clearing House (ACH) demo in ruby☆16Mar 17, 2026Updated last week
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- This is an implementation of PartitionSort as described in "A Sorted-Partitioning Approach to Fast and Scalable Dynamic Packet Classifica…☆10Dec 6, 2016Updated 9 years ago
- Compositional Verification of Security Protocols☆32Mar 18, 2026Updated last week
- Anbandoned. see https://github.com/AL333Z/anti-xml☆18Jan 23, 2017Updated 9 years ago
- Get a Voronoi diagram given some points☆16Jan 9, 2018Updated 8 years ago
- Experimental parallel compression algorithm☆27Sep 24, 2017Updated 8 years ago
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 2 years ago
- Docker registry bindings for The Update Framework in Python☆12Sep 27, 2022Updated 3 years ago