A bibliography for protocol design
☆54Apr 17, 2025Updated last year
Alternatives and similar repositories for awesome-consensus
Users that are interested in awesome-consensus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Improvements to RFC5128 UDP Hole Punching☆21May 25, 2026Updated 5 months ago
- An UDisks2 service implementation for OpenBSD forked from FreeBSD (bsdutils/bsdisks)☆10Sep 14, 2024Updated 2 years ago
- Zero Knowledge dApp created for Harmony Zero Knowledge University Final Project☆15May 6, 2022Updated 4 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆15Feb 14, 2023Updated 3 years ago
- This repo implements Mahi-Mahi consensus protocol. It builds on the the https://github.com/MystenLabs/mysticeti code base☆15Updated this week
- 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.
- Byte-safe encoding, decoding, hashing, and restoration for Nix archive formats in pure Rust.☆25Sep 17, 2026Updated last month
- Implementation of incrementally verifiable ledger system☆18Aug 12, 2026Updated 2 months ago
- Python binding for OpenBSD plegde☆11Oct 26, 2023Updated 3 years ago
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆24Jul 13, 2023Updated 3 years ago
- ffmpeg wrapper to facilitate screencasting/recording on OpenBSD☆26Updated this week
- A smart-contract based, key-encumbered wallet for privately liquefying blockchain assets☆38Apr 28, 2026Updated 6 months ago
- Curated list of open-source TPM (Trusted Platform Module) applications☆27Dec 12, 2021Updated 4 years ago
- 🎶 Choreographic programming in Rust 🎶☆74Mar 16, 2025Updated last year
- A module language for programming with multiple named scopes, orthogonal to lexical nesting.☆17Jul 19, 2022Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A distributed execution framework built upon lunatic.☆16Updated this week
- Ultra Portable, Small, Baremetal Forth for various processors☆58Feb 24, 2026Updated 8 months ago
- OpenBSD-based Live System (a copy from private CVS repository)☆32Updated this week
- W65C832 (32 bit 6502) in an FPGA.☆76Jul 18, 2026Updated 3 months ago
- thread-per-core layer cache implementation☆17Oct 19, 2026Updated 2 weeks ago
- Animated harmonograph wallpaper for Sway/Wayland☆13Mar 18, 2026Updated 7 months ago
- ssh key to BIP39 phrase☆11Apr 10, 2024Updated 2 years ago
- Parallelism and preemptive concurrency for sporadic workloads☆46Dec 2, 2024Updated last year
- A CLI tool for performing bottom-up translation of GNU Guix derivations into Nix.☆28Jul 30, 2026Updated 3 months 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.
- Examples of Nix WASI derivations written in Rust☆14Jan 23, 2026Updated 9 months ago
- A series of 3 tutorials that walks one through the world of Actors in #rustlang as implemented by 'ractor' framework☆20Feb 27, 2025Updated last year
- A terminal as a unix pipe: keystrokes go in as JSONL, and the screen comes out as HTML. You can then pipe that directly to a web page.☆19Updated this week
- Implementation of the Apollo Guidance Computer in an FPGA.☆22Dec 25, 2024Updated last year
- 👾 notes and resources on applied cryptography for decentralized protocols, both for privacy and optimization (e.g., zk, tees, fhe, mpc, …☆24Dec 2, 2025Updated 11 months ago
- Basic Substrate examples for RISC Zero ZKVM usage☆10Dec 28, 2023Updated 2 years ago
- a datastructure for scalable combinatorial syntax☆25Jul 23, 2026Updated 3 months ago
- Cross compiling Rust for different architectures and operating systems☆14Jul 30, 2023Updated 3 years ago
- Matcha Daily Digest for the Go Programming Languages☆51Updated this week
- 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.
- 🐼 Contributoor is a monitoring and data-gathering tool that helps improve Ethereum’s network visibility while running seamlessly alongsi…☆20Updated this week
- Widgets to make it easy to add labels☆50Nov 18, 2025Updated 11 months ago
- ☆12Oct 4, 2023Updated 3 years ago
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆14Updated this week
- A programming language written fully by Claude Code that you probably shouldn't use☆10Jul 21, 2026Updated 3 months ago
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 5 years ago
- Actor-like concurrency for Rust.☆15Dec 20, 2020Updated 5 years ago