Vanlightly / table-formats-tlaplusLinks
TLA+ specs for table formats
☆41Updated 10 months ago
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.☆39Updated 10 months ago
- A MySQL-compatible, high performance, elastic, distributed SQL database.☆87Updated this week
- A MongoDB-compatible, high-performance, elastic, distributed document database.☆157Updated this week
- Redis/Valkey Compatible Distributed Transactional Key-Value Store☆227Updated this week
- A simple orm to saving lives☆24Updated 7 months ago
- A Go library implementation of the Model Controller Protocol (MCP). This library allows developers to easily parse MCP service configurat…☆48Updated 3 months ago
- 本项目利用多线程加速手段以及TCP通讯技术实现两台计算机协作执行,挖掘两个计算机的潜在算力。This project utilizes multi-threaded acceleration and TCP communication technology to colla…☆34Updated 2 years ago
- A k8s operator in rust that convert remote secrets into k8s secrets☆72Updated last week
- 2048 in c language☆34Updated last year
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated 2 months ago
- User Identity Scaffolding for Multiple OIDC Authentications for User☆97Updated last month
- go 语言仿写的 redis 服务器,支持 RESP 通信协议☆36Updated last year
- A high-performance web server based on the multiplexer actor mode, with an underlying implementation using the epoll model☆34Updated last year
- JMock is a high-performance data generation and simulation component library implemented in Java.☆90Updated 3 weeks ago
- A simple python connection SDK, used to connect HIVE Database☆37Updated 5 years ago
- Market Breadth Monitor☆42Updated 2 months ago
- A Contextual RAG Bot Framework☆80Updated 9 months ago
- 基于DDD & jdk21 & springcloud alibaba & gradle & rust & nuxt vue 的微服务架构混合语言的博客平台☆33Updated this week
- Java implemented anomaly detection library.☆24Updated last month
- trouve : A built-in integrated service discovery, service registration, and service forwarding general component for Spring projects☆28Updated last year
- High performance rank executor for advertisement and recommendation system, implemented in C/C++ and support ensembled into Java/Scala ho…☆78Updated last year
- 🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…☆37Updated 4 years ago
- embed message queue for golang☆65Updated 4 months ago
- Distributed Systems,Based on Actor Model☆61Updated 11 months ago
- Ein multimodaler, multi-intelligenter Entwicklungsrahmen☆45Updated 2 months ago
- An expression engine written in pure rust☆34Updated last year
- responsive canvas☆31Updated 8 months ago
- A 3D game involves melee combat and parkour system based on UE5.☆28Updated last year
- OasisDB: A minimal and lightweight vector database☆61Updated 2 weeks ago