Vanlightly / table-formats-tlaplusLinks
TLA+ specs for table formats
☆43Updated 11 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 last year
- 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.☆162Updated this week
- A k8s operator in rust that convert remote secrets into k8s secrets☆70Updated this week
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated 3 months ago
- 2048 in c language☆34Updated last week
- MCP server for Apache Iceberg☆31Updated 2 weeks ago
- A simple orm to saving lives☆23Updated 8 months ago
- An expression engine written in pure rust☆34Updated last year
- Java implemented anomaly detection library.☆24Updated 3 months ago
- Flock: A Low-Cost Streaming Query Engine on FaaS Platforms☆275Updated last year
- 🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…☆37Updated 4 years ago
- Algorithmic implementation of indicators causal analysis, causal inference using Java. Helps to quickly find the root cause of indicators☆42Updated 3 months ago
- User Identity Scaffolding for Multiple OIDC Authentications for User☆95Updated 3 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
- Market Breadth Monitor☆41Updated 3 months ago
- go 语言仿写的 redis 服务器,支持 RESP 通信协议☆36Updated 2 years ago
- 一款基于MyBatis的轻量级插件,旨在如诗般优雅地呈现完整SQL☆14Updated 3 months ago
- websocket + kafka , websocket to chat , kafka to do something you define☆34Updated 2 years ago
- 基于DDD & jdk21 & springcloud alibaba & gradle & rust & nuxt vue 的微服务架构混合语言的博客平台☆31Updated last month
- A high-performance web server based on the multiplexer actor mode, with an underlying implementation using the epoll model☆34Updated last year
- LED Screen testing simulator on Windows with TCP☆20Updated 10 months ago
- 本项目利用多线程加速手段以及TCP通讯技术实现两台计算机协作执行,挖掘两个计算机的潜在算力。This project utilizes multi-threaded acceleration and TCP communication technology to colla…☆34Updated 2 years ago
- A simple python connection SDK, used to connect HIVE Database☆37Updated 6 years ago
- PawMark is a platform for developers to build, schedule and monitor data pipelines.☆22Updated 9 months ago
- High performance rank executor for advertisement and recommendation system, implemented in C/C++ and support ensembled into Java/Scala ho…☆76Updated last year
- Enhanced Credit Card Fraud Detection Using Machine Learning☆95Updated 9 months ago
- The tryssh is a command line SSH terminal tool with password guessing function.☆32Updated 3 months ago
- A Contextual RAG Bot Framework☆81Updated 11 months ago