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
- Extrude HTML content and arbitrary data to 3D.☆16Dec 9, 2022Updated 3 years ago
- Unified Maude model-checking tool☆13Jul 13, 2026Updated 2 weeks ago
- Sources of the EuroProofNet web site.☆13Jul 15, 2026Updated 2 weeks ago
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Quantum Key Distribution Network Simulation Module (v2.0)☆35May 3, 2026Updated 2 months ago
- 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
- Google Reader Mobipocket e-book creator☆20Jan 9, 2012Updated 14 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- The command-line frontend to transactional consistency checkers for black-box databases☆34Updated this week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A webapp for developing and sharing Alloy models☆27Feb 20, 2026Updated 5 months ago
- Infrastructure needed to generate, build and install the PD library for a given P4 program☆13Jul 11, 2017Updated 9 years ago
- Java Class file parser and analyzer written in Clojure☆15Dec 2, 2019Updated 6 years ago
- Demonstrates creating a Toy IO effect system (TIO) from ground up☆12Jun 24, 2020Updated 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 4 months ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- A WebAssembly-based linear constraint solver for JavaScript☆13Aug 31, 2017Updated 8 years ago
- Specification of a protocol for payment channels in TLA+☆14May 20, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Sep 9, 2021Updated 4 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☆16Apr 4, 2026Updated 3 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…☆19Apr 7, 2026Updated 3 months ago
- Distributed QC for Qiskit☆16Jan 18, 2024Updated 2 years ago
- A Tamarin model and analysis of EMV contactless☆15Feb 16, 2021Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Lectures and hands-on on cloud computing infrastructures☆41Apr 30, 2026Updated 2 months ago
- ☆16Jun 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
- Generate Parquet Files☆14Apr 23, 2026Updated 3 months ago
- phlegyas: an implementation of 9P2000 in Clojure.☆15Jun 5, 2023Updated 3 years ago