Experimental Paxos variant focused on low-latency consensus, derived from NOPaxos and Viewstamped Replication, using clock synchronization to avoid unnecessary round trips
☆19Oct 1, 2020Updated 5 years ago
Alternatives and similar repositories for just-in-time-paxos
Users that are interested in just-in-time-paxos are comparing it to the libraries listed below
Sorting:
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- Wahoo KICKR Indoor Bike Bluetooth Projects☆13Feb 23, 2024Updated 2 years ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Direct transcription of an optimal control problem and resolution☆12Updated this week
- ☆10Feb 22, 2025Updated last year
- EmotionCircuits-LLM: A complete, reproducible framework for discovering and controlling emotion circuits in large language models.☆26Oct 20, 2025Updated 4 months ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- Given a Substack newsletter, save the contents into an sqlite db and format it as an epub☆13Jan 11, 2024Updated 2 years ago
- Using the Stan statistical modelling language from Clojure using the CmdStan CLI☆11May 1, 2025Updated 10 months ago
- Driver for coupled AMR-Wind/Nalu-Wind simulations☆13Nov 10, 2025Updated 4 months ago
- ☆14Dec 12, 2023Updated 2 years ago
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆19Jul 14, 2025Updated 7 months ago
- A model-based API Fuzzer for SMT Solvers.☆15Oct 14, 2025Updated 4 months ago
- Relational Features for Planning☆14Feb 18, 2026Updated 2 weeks ago
- A Fable wrapper around nadbm/react-datasheet for creating Excel-like tables☆11Aug 14, 2023Updated 2 years ago
- Find bottlenecks in your test suites☆17Mar 2, 2026Updated last week
- Website for the Research Data Management Librarian Academy☆18Feb 3, 2026Updated last month
- ☆42Updated this week
- Raster processing library and tools written in rust☆13Jun 23, 2024Updated last year
- A CLI tool for auto updating your Twitter banner with a Solvency.art NFT render every 60s☆12Sep 5, 2021Updated 4 years ago
- Automated setup and configuration for most of OpenAustralia Foundation's servers☆11Updated this week
- Apply basic color-oriented image operations. Fork of rio-color☆13Mar 27, 2025Updated 11 months ago
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Nov 4, 2025Updated 4 months ago
- ☆13Apr 7, 2024Updated last year
- planner where R stays for reactive. It is a library to implement the reactive planning in Go.☆16Jan 24, 2024Updated 2 years ago
- Series of posts on how to use DynamoDB with Go SDK.☆14Mar 19, 2021Updated 4 years ago
- Transform messy HTML from Google Docs into well-structured HTML!☆14Jul 10, 2025Updated 8 months ago
- A robust tree data-structure in pure rust.☆12Jul 17, 2025Updated 7 months ago
- private 1inch☆14Apr 23, 2023Updated 2 years ago
- Literate regular expressions for bash/grep☆12Aug 6, 2020Updated 5 years ago
- Zorbage: algebraic data types and algorithms for use in numeric processing.☆12Jan 22, 2026Updated last month
- ☆13Dec 3, 2022Updated 3 years ago
- I like to learn new things☆10Feb 28, 2026Updated last week
- A series of neural network implementations in Clojure, building up from a version with no external dependencies to a version using neande…☆12Jun 2, 2023Updated 2 years ago
- A PostgreSQL metric exporter for Prometheus written in Rust☆38Updated this week
- rustupolis - Tuple Space for Rust.☆11Feb 28, 2026Updated last week
- InfluxDB reporter for Telemetry. Docs: https://hexdocs.pm/telemetry_influxdb☆11Aug 29, 2023Updated 2 years ago
- ☆15Jun 30, 2025Updated 8 months ago