← Latest products

Formally Verified Leaderless Log Protocol for Kafka

The spec of leaderless log protocol used in Ursa. We open-sourced the TLA+ and Fizzbee verified spec behind Ursa's storage engine.

Open source

39 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Walrus

    github.com

    a Kafka alternative written in Rust

    Hacker News160 pts

  2. A Lightweight Kafka Alternative

    news.ycombinator.com

    www.github.com/nubskr/walrus

    Hacker News6 pts

  3. Upstash managed Kafka connectors with no extra charge

    upstash.com

    Articles and tutorials on serverless technologies from Upstash and community

    Hacker News5 pts

  4. Kafy

    github.com

    kubectl-style CLI for Kafka management

    Hacker News5 pts

  5. Fluvio 38.8x faster than Kafka

    infinyon.com

    Comparing throughput and latency between Apache Kafka and Fluvio

    Hacker News11 pts