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:
- ☆16Mar 15, 2026Updated 2 months ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 years ago
- Personal AI assistant via Matrix Chat - A slightly saner alternative to OpenClaw☆43May 4, 2026Updated 3 weeks ago
- ☆23May 19, 2026Updated last week
- Awesome Geometric Algebra☆30Jul 11, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Internal Services Cluster☆20Apr 20, 2026Updated last month
- Parallelism and preemptive concurrency for sporadic workloads☆46Dec 2, 2024Updated last year
- Use the Nix package manager as a library☆57May 16, 2026Updated last week
- A very fast online search algorithm☆45Mar 22, 2025Updated last year
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- Fetch derivations from your friends.☆24Dec 14, 2025Updated 5 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆14Feb 14, 2023Updated 3 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
- 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.
- Parts of Nix ported to Rust☆37Jan 3, 2026Updated 4 months ago
- ☆48Mar 22, 2026Updated 2 months ago
- Simple live calculator in tree-sitter + cranelift jit☆75Dec 2, 2024Updated last year
- A simple dashboard for the dhcpd.leases file of the OpenBSD dhcpd server.☆29Sep 24, 2025Updated 8 months ago
- A module language for programming with multiple named scopes, orthogonal to lexical nesting.☆17Jul 19, 2022Updated 3 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆15May 20, 2026Updated last week
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- Leightweight generalized parser combinators☆20Nov 23, 2023Updated 2 years ago
- A generic GLSL post-processing module for applying super-speedy GPU effects to img/video/canvas elements.☆27Aug 20, 2017Updated 8 years ago
- 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.
- Self-healing clusters for Gleam applications on the BEAM!☆58Jun 14, 2025Updated 11 months ago
- Property-based testing for Rust, built on Hypothesis☆246Updated this week
- Cowrie helps you print beautiful and consistent Terminal output to the Shell of your Elixir apps using familiar functions inspired by HTM…☆13Feb 16, 2025Updated last year
- banzai: pure rust bzip2 encoder☆30Sep 26, 2022Updated 3 years ago
- A basic JSON library in modern C++☆16Aug 23, 2021Updated 4 years ago
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- Simple dotfile pre-processor with a per-file configuration and no dependencies.☆12Dec 14, 2021Updated 4 years ago
- Minimal build tool for clojure + monorepos☆12Aug 28, 2021Updated 4 years ago
- Bkell provides a Shell and API for maintaining balanced records for business transactions.☆16Feb 6, 2015Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11Nov 1, 2023Updated 2 years ago
- Goldmark extension for D2 diagrams☆21Sep 6, 2025Updated 8 months ago
- Delimited continuations library☆17Nov 8, 2014Updated 11 years ago
- ☆13Apr 5, 2023Updated 3 years ago
- ☆12Aug 21, 2021Updated 4 years ago
- Disposable Linux containers for AI coding agents, with extensible backends☆59Apr 30, 2026Updated 3 weeks ago
- Notes and Solutions for Delimited Continuations tutorial in scheme http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/☆14Nov 4, 2021Updated 4 years ago