Vanlightly / table-formats-tlaplusLinks
TLA+ specs for table formats
☆42Updated 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:
- [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.☆40Updated 11 months ago
- TLA+ specifications related to Viewstamped Replication☆53Updated 2 years ago
- A MySQL-compatible, high performance, elastic, distributed SQL database.☆91Updated this week
- A MongoDB-compatible, high-performance, elastic, distributed document database.☆160Updated this week
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated 3 months ago
- Algorithmic implementation of indicators causal analysis, causal inference using Java. Helps to quickly find the root cause of indicators☆43Updated 2 months ago
- Java implemented anomaly detection library.☆24Updated 2 months ago
- A Go library implementation of the Model Controller Protocol (MCP). This library allows developers to easily parse MCP service configurat…☆48Updated 4 months ago
- A simple python connection SDK, used to connect HIVE Database☆37Updated 5 years ago
- A k8s operator in rust that convert remote secrets into k8s secrets☆71Updated last week
- A high-performance web server based on the multiplexer actor mode, with an underlying implementation using the epoll model☆34Updated last year
- User Identity Scaffolding for Multiple OIDC Authentications for User☆96Updated 2 months ago
- 2048 in c language☆34Updated last year
- Market Breadth Monitor☆41Updated 3 months ago
- 🔥 JMock is a high-performance data generation and simulation component library implemented in Java.☆89Updated last week
- 基于DDD & jdk21 & springcloud alibaba & gradle & rust & nuxt vue 的微服务架构混合语言的博客平台☆32Updated 3 weeks ago
- websocket + kafka , websocket to chat , kafka to do something you define☆34Updated last year
- A simple orm to saving lives☆24Updated 8 months ago
- Monitor your functions☆80Updated 8 months ago
- 👏 Defjs is a library that helps you define and initiate requests, aiming to make it easier for you to define requests without worrying a…☆45Updated 4 months ago
- PawMark is a platform for developers to build, schedule and monitor data pipelines.☆22Updated 8 months ago
- 一款基于MyBatis的轻量级插件，旨在如诗般优雅地呈现完整SQL☆14Updated 2 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
- MCP server for Apache Iceberg☆30Updated 2 weeks ago
- embed message queue for golang☆65Updated 5 months ago
- An expression engine written in pure rust☆34Updated last year
- trouve : A built-in integrated service discovery, service registration, and service forwarding general component for Spring projects☆29Updated last year
- ☆44Updated 3 months ago
- Next-generation AI+DeFi intelligent framework☆44Updated 7 months ago
- ☆18Updated 2 months ago