← 최신 프로덕트

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.

오픈소스

40 스타 · GitHub외부 사이트

github.com 방문외부 사이트

반응 (1)

비슷한 프로덕트

설명이 비슷한 순

  1. Walrus

    github.com

    a Kafka alternative written in Rust

    Hacker News160점

  2. A Lightweight Kafka Alternative

    news.ycombinator.com

    www.github.com/nubskr/walrus

    Hacker News6점

  3. Upstash managed Kafka connectors with no extra charge

    upstash.com

    Articles and tutorials on serverless technologies from Upstash and community

    Hacker News5점

  4. Kafy

    github.com

    kubectl-style CLI for Kafka management

    Hacker News5점

  5. Fluvio 38.8x faster than Kafka

    infinyon.com

    Comparing throughput and latency between Apache Kafka and Fluvio

    Hacker News11점