Vanlightly / table-formats-tlaplusLinks
TLA+ specs for table formats
☆43Updated last year
Alternatives and similar repositories for table-formats-tlaplus
Users that are interested in table-formats-tlaplus are comparing it to the libraries listed below
Sorting:
- TLA+ specifications related to Viewstamped Replication☆52Updated 2 years ago
- [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.☆40Updated last year
- A MongoDB-compatible, high-performance, elastic, distributed document database.☆194Updated this week
- A MySQL-compatible, high performance, elastic, distributed SQL database.☆94Updated this week
- A k8s operator in rust that convert remote secrets into k8s secrets☆70Updated last week
- A Go library implementation of the Model Controller Protocol (MCP). This library allows developers to easily parse MCP service configurat…☆48Updated 5 months ago
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated 4 months ago
- 2048 in c language☆33Updated last month
- Algorithmic implementation of indicators causal analysis, causal inference using Java. Helps to quickly find the root cause of indicators☆42Updated 4 months ago
- Java implemented anomaly detection library.☆24Updated 4 months ago
- A simple orm to saving lives☆23Updated 9 months ago
- User Identity Scaffolding for Multiple OIDC Authentications for User☆95Updated 4 months ago
- 一款基于MyBatis的轻量级插件,旨在如诗般优雅地呈现完整SQL☆14Updated 4 months ago
- It can check the health status of all instances of all services in the cluster, as well as the health status of dependencies such as MySq…☆37Updated last year
- A simple python connection SDK, used to connect HIVE Database☆37Updated 6 years ago
- MCP server for Apache Iceberg☆31Updated last month
- Market Breadth Monitor☆42Updated 4 months ago
- 🚀 An Asyncio-based concurrency library for Python.☆75Updated last year
- An expression engine written in pure rust☆34Updated last year
- A high-performance web server based on the multiplexer actor mode, with an underlying implementation using the epoll model☆34Updated last year
- go 语言仿写的 redis 服务器,支持 RESP 通信协议☆36Updated 2 years ago
- A 3D game involves melee combat and parkour system based on UE5.☆28Updated last year
- A Contextual RAG Bot Framework☆82Updated 11 months ago
- Flock: A Low-Cost Streaming Query Engine on FaaS Platforms☆275Updated last year
- OasisDB: A minimal and lightweight vector database☆66Updated last month
- High performance rank executor for advertisement and recommendation system, implemented in C/C++ and support ensembled into Java/Scala ho…☆75Updated last year
- websocket + kafka , websocket to chat , kafka to do something you define☆34Updated 2 years ago
- The tryssh is a command line SSH terminal tool with password guessing function.☆32Updated 3 months ago
- Tool to test networking protocols in diverse topologies and conditions.☆18Updated 2 months ago
- 🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…☆37Updated 4 years ago