thetumbled

thetumbled's Stars

• RainPoetry/ambari-servers

  ambari 自定义服务

  Language:Python74

• jepsen-io/jepsen

  A framework for distributed systems verification, with fault injection

  Language:Clojure6.8k714

• redpanda-data/redpanda

  Redpanda is a streaming data platform for developers. Kafka API compatible. 10x faster. No ZooKeeper. No JVM!

  Language:C++9.5k580

• gaecfov/pulsar-console

  Pulsar Console is a web-based GUI management tool for managing and monitoring Pulsar.

  Language:Vue125

• tlaplus/tlaplus

  TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  Language:Java2.3k192

• ShiArthur03/ShiArthur03

  Language:MATLAB10.4k1.9k

• doocs/md

  ✍ WeChat Markdown Editor | 一款高度简洁的微信 Markdown 编辑器：支持 Markdown 语法、色盘取色、多图上传、一键下载文档、自定义 CSS 样式、一键重置等特性

  Language:Vue5.7k904

• apache/pulsar-site

  Apache Pulsar Site

  Language:HTML38165

• apache/pulsar-client-go

  Apache Pulsar Go Client Library

  Language:Go652335

• shengcaishizhan/kkndme_tianya

  天涯 kkndme 神贴聊房价

  18.7k3.8k

• rongzhiy/LiTiaotiao

  李跳跳软件及使用指南❤❤❤

  67288

• diennea/bookkeeper-visual-manager

  A visual interface for Apache BookKeeper

  Language:Java6017

• ascentstream/PulsarSpace

  31

• h2oai/h2ogpt

  Private chat with local GPT with document, images, video, etc. 100% private, Apache 2.0. Supports oLLaMa, Mixtral, llama.cpp, and more. Demo: https://gpt.h2o.ai/ https://gpt-docs.h2o.ai/

  Language:Python11.3k1.2k

• douxu/IT-eBOOK

  IT eBooks

  4924

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3k188

• Vanlightly/kafka-tlaplus

  TLA+ specifications for Kafka related algorithms

  Language:TLA353

• tlaplus/CommunityModules

  TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

  Language:TLA26637

• tlaplus/Examples

  A collection of TLA⁺ specifications of varying complexities

  Language:TLA1.3k198

• byoungd/English-level-up-tips

  An advanced guide to learn English which might benefit you a lot 🎉 . 离谱的英语学习指南/英语学习教程。

  Language:HTML36.9k4.1k

• xhongc/music-tag-web

  音乐标签编辑器，可编辑本地音乐文件的元数据（Editable local music file metadata.）

  Language:Python2.3k149

• pingcap/talent-plan

  open source training courses about distributed database and distributed systems

  Language:Rust10.1k1.3k

• diennea/herddb

  A JVM-embeddable Distributed Database

  Language:Java31646

• Vanlightly/bookkeeper-tlaplus

  A TLA+ specification of the Apache BookKeeper replication protocol

  Language:TLA10015

• microsoft/terminal

  The new Windows Terminal and the original Windows console host, all in the same place!

  Language:C++95.1k8.3k

• nailuoGG/homebrew-recoll

  recoll Formula for homebrew

  Language:Ruby173

• openmessaging/benchmark

  OpenMessaging Benchmark Framework

  Language:Java390237

• apache/incubator-gluten

  Gluten is a middle layer responsible for offloading JVM-based SQL engines' execution to native engines.

  Language:Scala1.2k420

• streamnative/kop

  Kafka-on-Pulsar - A protocol handler that brings native Kafka protocol to Apache Pulsar

  Language:Java450136

• streamnative/oxia

  Oxia - Metadata store and coordination system

  Language:Go20627