A bibliography for protocol design
☆55Apr 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 3 months ago
- A distributed execution framework built upon lunatic.☆16Jan 19, 2024Updated 2 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,…☆258Feb 28, 2026Updated 3 months ago
- ☆23May 19, 2026Updated 3 weeks ago
- Awesome Geometric Algebra☆31Jul 11, 2020Updated 5 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.
- ☆11Jul 17, 2023Updated 2 years ago
- Parallelism and preemptive concurrency for sporadic workloads☆46Dec 2, 2024Updated last year
- 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
- Compiler for the Albatross Language☆12Sep 29, 2021Updated 4 years ago
- Use the Nix package manager as a library☆59Jun 4, 2026Updated last week
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- A very fast online search algorithm☆43Mar 22, 2025Updated last year
- Fetch derivations from your friends.☆24Dec 14, 2025Updated 6 months ago
- 4-player card game in the browser with Gleam, React, and WebSockets☆16Feb 4, 2025Updated last year
- 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.
- A general-purpose Leaflet map component for Dioxus applications☆45May 5, 2026Updated last month
- Use the same module system that leverages NixOS to configure your emacs customization☆11Aug 6, 2022Updated 3 years ago
- 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
- Bitsets for Go☆11Apr 19, 2020Updated 6 years ago
- Parts of Nix ported to Rust☆37Jan 3, 2026Updated 5 months ago
- Metacompiler to generate an optimised JIT compiler frontend based on an Interpreter definition☆11Jun 3, 2026Updated last week
- Simple live calculator in tree-sitter + cranelift jit☆75Dec 2, 2024Updated last year
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 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.
- 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
- An 8-Bit Open Source Games Console and Microcomputer☆13Aug 22, 2023Updated 2 years ago
- ☆30Updated this week
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- Minimal build tool for clojure + monorepos☆12Aug 28, 2021Updated 4 years ago
- Type-safe and hierarchical (with layouts) way to load and render Go HTML templates using the standard library☆10May 6, 2026Updated last month
- Coordinate Hash Trie: A Trie Variant Balancing between Time, Space, and Simplicity☆20Jul 2, 2025Updated 11 months ago
- Deep learning model to classify relationship state in romantic couples from images and video☆15Jul 1, 2019Updated 6 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.
- Goldmark extension for D2 diagrams☆21Sep 6, 2025Updated 9 months ago
- Migrated to https://codeberg.org/whitequark/factorio-data-codec☆12May 22, 2026Updated 3 weeks ago
- Delimited continuations library☆17Nov 8, 2014Updated 11 years ago
- ☆12Aug 21, 2021Updated 4 years ago
- Sample applications using Cascading☆38Oct 11, 2011Updated 14 years ago
- Notes and Solutions for Delimited Continuations tutorial in scheme http://pllab.is.ocha.ac.jp/~asai/cw2011tutorial/☆14Nov 4, 2021Updated 4 years ago
- 阿里云物联网设备端 Rust SDK / Alink 协议☆11Apr 23, 2023Updated 3 years ago