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 6 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a simple redis-like in pure python☆14Oct 12, 2023Updated 3 years ago
- A simple distributed key-value store by using hashicorp/raft☆11Feb 7, 2022Updated 4 years ago
- gpt-3.5-turbo-instruct, prompted with PGN, vs Stockfish Level 4 on LiChess☆15Sep 19, 2023Updated 3 years ago
- UI library for crypto exchange.☆23Apr 30, 2026Updated 5 months ago
- Using Debezium with WarpStream as a Kafka alternative for CDC☆22Mar 25, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Tools for conformance monitoring on Kubernetes with TLA+☆23Jun 26, 2024Updated 2 years ago
- A fork of Lock Free☆11Apr 19, 2026Updated 5 months ago
- InfluxDB reporter for Telemetry. Docs: https://hexdocs.pm/telemetry_influxdb☆11Aug 29, 2023Updated 3 years ago
- Enhancement over Rust's `std::BinaryHeap`. Supports other than max heap.☆59Mar 20, 2024Updated 2 years ago
- Golang native implementation of the secp256k1 elliptic curve☆40May 11, 2021Updated 5 years ago
- ☆16Aug 6, 2018Updated 8 years ago
- An F# polymorphic, unqualified-accessible set of functions for List, Seq, and Array.☆12Sep 15, 2019Updated 7 years ago
- planner where R stays for reactive. It is a library to implement the reactive planning in Go.☆16Jan 24, 2024Updated 2 years ago
- A robust tree data-structure in pure rust.☆12Jul 14, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A fully customizable static site generator using the power of FAKE☆11Jul 15, 2019Updated 7 years ago
- Successor to Annoy https://github.com/spotify/annoy☆13Oct 28, 2015Updated 10 years ago
- A graph based approach to type inference written in F#☆22Aug 3, 2026Updated 2 months ago
- ☆19Nov 21, 2023Updated 2 years ago
- LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against …☆49Updated this week
- ☆16Sep 29, 2024Updated 2 years ago
- ☆19Nov 19, 2025Updated 10 months ago
- A P model of durable Promises☆14Oct 6, 2023Updated 3 years ago
- K interpreter in 90 lines of Python☆18May 31, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Provides an extensible solution for creating Data Processing Pipelines in F#.☆15Apr 7, 2018Updated 8 years ago
- Fable Formlets (Applicative Functor Forms kind of)☆14Dec 2, 2018Updated 7 years ago
- Interactive CLI tool for exec into AWS ECS tasks (containers)☆20Oct 9, 2026Updated last week
- Golang lock-free Hashmap and List☆74Dec 4, 2022Updated 3 years ago
- ☆16Feb 18, 2024Updated 2 years ago
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆19Feb 21, 2026Updated 7 months ago
- A fast 2-level, sparse bloom filter implementation☆16Jan 13, 2026Updated 9 months ago
- Project Fluent for Clojure/script☆17Jul 15, 2026Updated 3 months ago
- A simple Python script to collate multiple PDFs into a single PDF.☆26Oct 8, 2024Updated 2 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.
- Syslog (RFC5424) encoder & syncer for zap☆21Apr 12, 2018Updated 8 years ago
- A retro terminal for the Mothership campaign Gradient Descent that runs in a browser☆17Feb 18, 2026Updated 8 months ago
- 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 3 years ago
- A d-ary heap in Rust☆22Aug 24, 2026Updated last month
- A F# functional wrapper over CNTK's .Net API (inspired by Keras but with function composition as the primary modeling metaphor)☆14Mar 22, 2021Updated 5 years ago
- A CLI tool for auto updating your Twitter banner with a Solvency.art NFT render every 60s☆12Sep 5, 2021Updated 5 years ago
- React Native bindings for Feliz☆16Jan 7, 2023Updated 3 years ago