dmilstein / channelsView external linksLinks
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
Sorting:
- Experimental parallel compression algorithm☆27Sep 24, 2017Updated 8 years ago
- Quantum Key Distribution Network Simulation Module (v2.0)☆29Feb 3, 2026Updated last week
- Wrapper for blocksec2go allowing easy hardware-based signing of Ethereum transactions☆12Feb 8, 2023Updated 3 years ago
- ☆11Sep 9, 2021Updated 4 years ago
- 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
- Minimal C port of UTF8-CPP☆12Jun 2, 2019Updated 6 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- fast open addressing hash table☆42Nov 8, 2025Updated 3 months ago
- A small python based build file generator targetting the build system ninja☆46Dec 21, 2016Updated 9 years ago
- zig build add-on (add more toolchains [LLVM-based] support)☆15May 5, 2025Updated 9 months ago
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- An example of KHR raytracing using ash and rust-gpu.☆12Feb 24, 2024Updated last year
- Emacs major mode for Uiua, a stack-based array language, powered by tree-sitter☆11Nov 21, 2025Updated 2 months ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- JS lib to create responsive gauges, based on D3 and SVG.☆11May 31, 2019Updated 6 years ago
- Fast, concurrent, safe MPMC & MPSC FIFO queue implementation☆14Nov 16, 2021Updated 4 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
- Cross platform screen capture library☆11Feb 28, 2025Updated 11 months ago
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- Anbandoned. see https://github.com/AL333Z/anti-xml☆18Jan 23, 2017Updated 9 years ago
- Infrastructure needed to generate, build and install the PD library for a given P4 program☆13Jul 11, 2017Updated 8 years ago
- A compile time sized array of bits☆12Aug 15, 2021Updated 4 years ago
- A PHP 5.3 library to bind objects to XML using annotations (based on java's JAXB)☆17Oct 3, 2011Updated 14 years ago
- Delimited continuations library☆17Nov 8, 2014Updated 11 years ago
- An OpenTracing bridge for the Elastic APM Node.js Agent☆17Feb 17, 2024Updated last year
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- ☆14Jun 29, 2024Updated last year
- A tiny and surprisingly featureful webserver☆50Jul 5, 2011Updated 14 years ago
- Pretty backtraces for rust☆15Aug 8, 2021Updated 4 years ago
- Docker registry bindings for The Update Framework in Python☆12Sep 27, 2022Updated 3 years ago
- P4Runtime Controller Library☆13Nov 20, 2025Updated 2 months ago
- Key-value store on top of Raft Consensus Algorithm☆11Jun 12, 2018Updated 7 years ago
- Demonstrates creating a Toy IO effect system (TIO) from ground up☆12Jun 24, 2020Updated 5 years ago
- Toy RISC-V emulator☆15Oct 10, 2017Updated 8 years ago
- ☆10May 29, 2020Updated 5 years ago
- ☆11Jan 21, 2022Updated 4 years ago
- Difference calculations for the terminal☆12Dec 27, 2023Updated 2 years ago
- Secrecy as a service☆10May 1, 2022Updated 3 years ago
- Rust wrapper for the Nordic Semiconductor nrfxlib library☆14Jan 28, 2026Updated 2 weeks ago