A bibliography for protocol design
☆50Apr 17, 2025Updated 11 months ago
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:
- ☆16Mar 15, 2026Updated last week
- Property-based testing for Rust, built on Hypothesis☆154Updated this week
- A host management tool built entirely from tools in OpenBSD's base install☆13Aug 26, 2021Updated 4 years ago
- `t` (T-for-text) is a concise language for manipulating text, replacing common usage patterns of Unix utilities like grep, sed, cut, awk,…☆255Feb 28, 2026Updated 3 weeks ago
- Command-line tool to check and monitor SSL certificate expiration across multiple domains.☆23Jul 30, 2025Updated 7 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- DC-SCM LTPI Reference Implementation☆18Jan 13, 2026Updated 2 months ago
- ☆23Aug 8, 2025Updated 7 months ago
- ☆11Jul 17, 2023Updated 2 years ago
- Internal Services Cluster☆20Updated this week
- Aggregated tips from the "Oban Tips" Twitter series☆12Jun 27, 2023Updated 2 years ago
- Parallelism and preemptive concurrency for sporadic workloads☆46Dec 2, 2024Updated last year
- Assets for a talk describing flutter's design.☆10Feb 18, 2022Updated 4 years ago
- Fetch derivations from your friends.☆23Dec 14, 2025Updated 3 months ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A way to handle states with structs in Dioxus☆27Apr 12, 2025Updated 11 months ago
- Forage is for Storage☆12Jun 15, 2022Updated 3 years ago
- A general-purpose Leaflet map component for Dioxus applications☆41Updated this week
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- 4-player card game in the browser with Gleam, React, and WebSockets☆15Feb 4, 2025Updated last year
- Use the same module system that leverages NixOS to configure your emacs customization☆11Aug 6, 2022Updated 3 years ago
- Espressif IoT Development Framework. Official development framework for ESP32.☆11Apr 15, 2021Updated 4 years ago
- dynamic recompilation and loading of code. A replacement for the old plugins library but now based around the GHC API.☆16Jul 30, 2017Updated 8 years ago
- Solving the Advent of Code 2023 using nothing but Materialize, SQL and our bare hands. 🎄☆20Aug 12, 2024Updated last year
- 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.
- Parts of Nix ported to Rust☆37Jan 3, 2026Updated 2 months ago
- ☆48Updated this week
- Bitsets for Go☆11Apr 19, 2020Updated 5 years ago
- A reference architecture for differential fuzzing using a formally verified oracle☆33Jan 2, 2026Updated 2 months ago
- A module language for programming with multiple named scopes, orthogonal to lexical nesting.☆17Jul 19, 2022Updated 3 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- Self-healing clusters for Gleam applications on the BEAM!☆58Jun 14, 2025Updated 9 months ago
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated last year
- Leightweight generalized parser combinators☆20Nov 23, 2023Updated 2 years ago
- 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.
- An 8-Bit Open Source Games Console and Microcomputer☆13Aug 22, 2023Updated 2 years ago
- My NixOs config☆12Jul 17, 2024Updated last year
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆14Updated this week
- A code search tool based on Comby☆37Mar 16, 2023Updated 3 years ago
- From-scratch kernel built to serve web pages☆28Sep 27, 2025Updated 5 months ago
- banzai: pure rust bzip2 encoder☆30Sep 26, 2022Updated 3 years ago
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year