Byzantine Eventual Consistency
☆23Jul 12, 2023Updated 2 years ago
Alternatives and similar repositories for byzantine-eventual
Users that are interested in byzantine-eventual are comparing it to the libraries listed below
Sorting:
- A modded Prolly-tree implementation in Typescript☆15Oct 6, 2025Updated 5 months ago
- a vendor-agnostic gateway conformance test suite for implementers of IPFS Gateways to ensure compliance with https://specs.ipfs.tech/htt…☆18Feb 28, 2026Updated last week
- This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that app…☆20Jun 12, 2022Updated 3 years ago
- sync with peers that have gone to sleep 😴☆21Feb 14, 2026Updated 3 weeks ago
- 🐧 UCAN RPC☆62Feb 16, 2026Updated 2 weeks ago
- ☆39Apr 21, 2024Updated last year
- Prefix-Aware Attention for LLM Decoding☆29Jan 23, 2026Updated last month
- ⁂ w3up protocol implementation☆87May 21, 2025Updated 9 months ago
- rust database engineering toolkit☆34Aug 6, 2021Updated 4 years ago
- WizCanvas allows a developer to create a ultra-performant native canvas component. The view is based on the Ejecta framework and has WebG…☆43Mar 2, 2015Updated 11 years ago
- [ICDCS 2023] Evaluation and Optimization of Gradient Compression for Distributed Deep Learning☆10Apr 28, 2023Updated 2 years ago
- Active Inference & Category Theory☆10Mar 11, 2024Updated last year
- An open source deep research clone. AI Agent (Local LLM or Gemini) that reasons large amounts of web data extracted with SwiftSoup.☆13Feb 10, 2025Updated last year
- Code used in the analyses described in "Personalized brain circuit scores identify clinically distinct biotypes in depression and anxiety…☆11May 4, 2024Updated last year
- The spell program from the 10th Edition Unix system☆10Jul 12, 2020Updated 5 years ago
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- TILT: A GDPR-Aligned Transparency Information Language and Toolkit for Practical Privacy Engineering☆14Jul 22, 2023Updated 2 years ago
- Create a Toxicity Chart based on metrics provided by checkstyle rules.☆10Aug 13, 2015Updated 10 years ago
- C++ Future/Promises implementation, loosely based on Future.pm☆10Sep 9, 2015Updated 10 years ago
- Readability for Emacs☆39Jun 28, 2020Updated 5 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- Toy implementation of Green Threads based on https://cfsamson.gitbook.io/green-threads-explained-in-200-lines-of-rust☆10Jul 24, 2020Updated 5 years ago
- ☆11Dec 6, 2018Updated 7 years ago
- ☆11Aug 17, 2023Updated 2 years ago
- A splaytree ADT written in C with a BSD license☆18Jun 18, 2020Updated 5 years ago
- Automatically distribute GitHub Actions workflow across repositories.☆12Updated this week
- Compute Emacs Lisp object sizes.☆10Jan 25, 2014Updated 12 years ago
- Vectorized implementation of a general feedforward neural network in Python☆10Jan 22, 2017Updated 9 years ago
- Elm in JS☆19Nov 24, 2013Updated 12 years ago
- Pushable iterable☆14Feb 28, 2024Updated 2 years ago
- private 1inch☆14Apr 23, 2023Updated 2 years ago
- ☆11May 3, 2023Updated 2 years ago
- The Unix line editor☆16Feb 23, 2026Updated last week
- 🕹 Implementation for the lesson Compiling Engineering(2020 Spring) in Peking University, adjusted from UCLA CS 132 Project.☆10Jun 21, 2020Updated 5 years ago
- Public key encryption system combining X25519 ephemeral Diffie-Hellman key exchange and STREAM-based symmetric cryptography☆26Sep 17, 2019Updated 6 years ago
- Custom GPIO-based I2C master kernel module (based on OpenWrt version)☆11Feb 6, 2019Updated 7 years ago
- ☆11Sep 22, 2017Updated 8 years ago
- ☆10Jun 28, 2025Updated 8 months ago
- For our ISSTA'23 paper ACETest: Automated Constraint Extraction for Testing Deep Learning Operators☆13Mar 30, 2024Updated last year