Vanlightly / table-formats-tlaplusLinks
TLA+ specs for table formats
☆39Updated 7 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
- A MongoDB-compatible, high-performance, elastic, distributed document database.☆64Updated last week
- [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.☆39Updated 8 months ago
- TLA+ specifications for Raft and variants☆89Updated 2 years ago
- MCP server for Apache Iceberg☆29Updated last month
- AngusInfra is a foundational framework for rapidly developing multi-tenant web applications, built on the Enterprise-level development fr…☆43Updated this week
- A MySQL-compatible, high performance, elastic, distributed SQL database.☆47Updated 2 months ago
- High performance rank executor for advertisement and recommendation system, implemented in C/C++ and support ensembled into Java/Scala ho…☆78Updated last year
- User Identity Scaffolding for Multiple OIDC Authentications for User☆97Updated 4 months ago
- Coin.Space Digital currency wallet☆16Updated 3 weeks ago
- A simple orm to saving lives☆24Updated 5 months ago
- ☆31Updated 11 months ago
- This is a microservices-based distributed e-commerce system template designed to leverage a wide range of advanced management tools and p…☆40Updated 2 months ago
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated last week
- A k8s operator in rust that convert remote secrets into k8s secrets☆71Updated this week
- Flock: A Low-Cost Streaming Query Engine on FaaS Platforms☆272Updated last year
- Algorithmic implementation of indicators causal analysis, causal inference using Java. Helps to quickly find the root cause of indicators☆42Updated 5 months ago
- A Contextual RAG Bot Framework☆80Updated 7 months ago
- 🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…☆37Updated 4 years ago
- 基于DDD & jdk21 & springcloud alibaba & gradle & rust & nuxt vue 的微服务架构混合语言的博客平台☆32Updated 8 months ago
- 检索增强生成的核心逻辑,因关键技术保密,无法提供图向量的提取生成和检索逻辑☆33Updated 7 months ago
- Java implemented anomaly detection library.☆23Updated 3 weeks ago
- pth-framework-master☆36Updated last year
- 用于解决springboot连接多个rabbitmq的starter☆16Updated 3 years ago
- A Go library implementation of the Model Controller Protocol (MCP). This library allows developers to easily parse MCP service configurat…☆48Updated last month
- Grsql is a great tool to allow you set up your remote sqlite database as service and CRUD(create/read/update/delete) it using gRPC.☆28Updated 2 years ago
- Market Breadth Monitor☆41Updated last week
- An easy-to-use vector database.☆38Updated 2 months ago
- PawMark is a platform for developers to build, schedule and monitor data pipelines.☆22Updated 5 months ago
- A unified system resource management platform designed for administrators, serving as the foundational module for the Angus application s…☆42Updated this week