Alternatives and similar repositories for kafka-tlaplus

Users that are interested in kafka-tlaplus are comparing it to the libraries listed below

• Vanlightly / bookkeeper-tlaplus

  View on GitHub
  A TLA+ specification of the Apache BookKeeper replication protocol
  ☆105Mar 16, 2024Updated last year
• oxidecomputer / lethe

  View on GitHub
  A basic log-structured flash datastore
  ☆20Oct 3, 2022Updated 3 years ago
• tlaplus / CommunityModules

  View on GitHub
  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community
  ☆302Jan 20, 2026Updated 3 weeks ago
• dranov / raft-tla

  View on GitHub
  ☆21Oct 25, 2021Updated 4 years ago
• zoid-archive / fakegres-fdb

  View on GitHub
  Toy distributed PostgreSQL by implementing SQL over KV
  ☆11Jan 14, 2026Updated last month
• bmarwell / jtop

  View on GitHub
  Experimental process viewer which also supports AIX, Linux and Mac
  ☆13Aug 19, 2025Updated 5 months ago
• will62794 / logless-reconfig

  View on GitHub
  TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.
  ☆14Dec 16, 2024Updated last year
• strimzi / kafka-quotas-plugin

  View on GitHub
  A broker quota plugin for Apache Kafka® to allow setting a per-broker limits statically in the broker configuration
  ☆15Feb 3, 2026Updated last week
• tangruize / SandTable

  View on GitHub
  Scalable Distributed System Model Checking with Specification-Level State Exploration
  ☆28Apr 24, 2024Updated last year
• nsrip-dd / profiler-overhead-testing

  View on GitHub
  Testing effects of the Go CPU profiler on microbenchmarks
  ☆13Aug 31, 2022Updated 3 years ago
• SchlenkR / TheBlunt

  View on GitHub
  A one-file recursive descent parser combinator for F# and Fable.
  ☆13Dec 25, 2025Updated last month
• adrianco / headroom-plot

  View on GitHub
  Cockcroft Headroom Plot (chp) in R
  ☆10Sep 23, 2016Updated 9 years ago
• oxia-db / oxia-client-java

  View on GitHub
  Oxia Java client SDK
  ☆19Jan 29, 2026Updated 2 weeks ago
• apache / cassandra-harry

  View on GitHub
  Harry for Apache Cassandra®
  ☆56Aug 23, 2024Updated last year
• scylladb / gemini

  View on GitHub
  Test data integrity by comparing against an Oracle running in parallel
  ☆31Updated this week
• kroxylicious / kroxylicious

  View on GitHub
  Kroxylicious, the snappy open source proxy for Apache Kafka®
  ☆252Updated this week
• unmeshjoshi / replicate

  View on GitHub
  ☆129Oct 8, 2025Updated 4 months ago
• rgra / talk_functional-java-8

  View on GitHub
  Code for Talk: Funtional Java 8
  ☆12Nov 4, 2017Updated 8 years ago
• theodesp / blockingQueues

  View on GitHub
  Simple, performant, goroutine safe queues, useful as resource pools or job queues.
  ☆25Dec 30, 2017Updated 8 years ago
• Azure / azure-cosmos-tla

  View on GitHub
  Azure Cosmos TLA+ specifications
  ☆293Dec 14, 2023Updated 2 years ago
• atomix / atomix-jepsen

  View on GitHub
  Atomix Jepsen tests
  ☆14Feb 7, 2017Updated 9 years ago
• higherkindness / mu-kt

  View on GitHub
  Mu - Purely Functional Microservices for Kotlin
  ☆17Apr 24, 2019Updated 6 years ago
• Lingzhi-Ouyang / Remix

  View on GitHub
  ☆13Apr 10, 2025Updated 10 months ago
• anchorhash / go-anchorhash

  View on GitHub
  go implementation of anchorhash
  ☆15Nov 19, 2020Updated 5 years ago
• adamko-dev / kotka-streams

  View on GitHub
  Kotka Streams - the Kotlin DSL for Kafka Streams
  ☆16Updated this week
• parsonsmatt / prairie

  View on GitHub
  First Class Record Fields in Haskell
  ☆17Jan 8, 2026Updated last month
• jamesward / kotlin_server_framework_smackdown

  View on GitHub
  ☆14Feb 1, 2021Updated 5 years ago
• muratdem / HLC

  View on GitHub
  ☆17Oct 2, 2017Updated 8 years ago
• tangruize / tlc-cmd

  View on GitHub
  Run TLC in cmd
  ☆15Jan 20, 2026Updated 3 weeks ago
• sjoerdvisscher / unfoldable

  View on GitHub
  Class of data structures that can be unfolded.
  ☆22Jan 6, 2026Updated last month
• kawamuray / kmql

  View on GitHub
  Query Kafka cluster's metadata using SQL
  ☆13Apr 13, 2021Updated 4 years ago
• databass-book-club / transaction_processing

  View on GitHub
  Notes on Transaction Processing: Concepts and Techniques by Jim Gray and Andreas Reuter
  ☆37Feb 7, 2024Updated 2 years ago
• oxia-db / oxia

  View on GitHub
  Oxia - Metadata store and coordination system
  ☆298Updated this week
• aoiroaoino / guttural

  View on GitHub
  Web Framework for Scala.（PoC）
  ☆14Oct 6, 2022Updated 3 years ago
• tisonkun / morax

  View on GitHub
  Message queue and data streaming based on cloud native services.
  ☆116Dec 1, 2025Updated 2 months ago
• ArroyoSystems / streamgen

  View on GitHub
  Mock streaming data generator
  ☆17May 31, 2024Updated last year
• scholzj / kekspose

  View on GitHub
  Keksposé: Expose your Kafka cluster outside your Minikube, Kind, or Docker Desktop clusters
  ☆18Feb 4, 2026Updated last week
• responsivedev / responsive-pub

  View on GitHub
  A highly available and infinitely scalable, drop-in replacement for Kafka Streams
  ☆21May 27, 2025Updated 8 months ago
• cockroachlabs / crl-scheduler

  View on GitHub
  ☆43Sep 4, 2020Updated 5 years ago