Vanlightly / table-formats-tlaplusLinks
TLA+ specs for table formats
☆39Updated 8 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 9 months ago
- A MongoDB-compatible, high-performance, elastic, distributed document database.☆92Updated 3 weeks ago
- University of Toronto / ECE1782 - Programming Massively Parallel Multiprocessors and Heterogeneous Systems / Project: an optimized CUDA I…☆25Updated 11 months ago
- A MySQL-compatible, high performance, elastic, distributed SQL database.☆52Updated 3 months ago
- Flock: A Low-Cost Streaming Query Engine on FaaS Platforms☆273Updated last year
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated last month
- JMock is a high-performance data generation and simulation component library implemented in Java.☆79Updated 3 weeks ago
- TLA+ specifications for Raft and variants☆89Updated 2 years ago
- User Identity Scaffolding for Multiple OIDC Authentications for User☆97Updated 2 weeks ago
- ☆31Updated 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
- Coin.Space Digital currency wallet☆16Updated last month
- AngusInfra is a foundational framework for rapidly developing multi-tenant web applications, built on the Enterprise-level development fr…☆75Updated last week
- This is a microservices-based distributed e-commerce system template designed to leverage a wide range of advanced management tools and p…☆40Updated 3 months ago
- 2048 in c language☆34Updated last year
- 基于DDD & jdk21 & springcloud alibaba & gradle & rust & nuxt vue 的微服务架构混合语言的博客平台☆32Updated 9 months ago
- ☆30Updated last year
- AI Platform template. Machine learning platforms suitable for secondary development.☆38Updated last month
- ☆44Updated 3 years ago
- 一款基于MyBatis的轻量级插件,旨在如诗般优雅地呈现完整SQL☆14Updated 3 weeks ago
- A simple orm to saving lives☆24Updated 5 months ago
- Market Breadth Monitor☆42Updated 3 weeks ago
- ☆53Updated last month
- MCP server for Apache Iceberg☆29Updated 2 months ago
- pth-framework-master☆36Updated last year
- An easy-to-use vector database.☆38Updated 2 months ago
- ☆104Updated last year
- 🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…☆37Updated 4 years ago
- smileyco.in website☆19Updated last month