Vanlightly / table-formats-tlaplusLinks
TLA+ specs for table formats
☆42Updated last year
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☆51Updated 2 years ago
- [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.☆40Updated last year
- A MySQL-compatible, high performance, elastic, distributed SQL database.☆115Updated this week
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated 5 months ago
- A k8s operator in rust that convert remote secrets into k8s secrets☆70Updated this week
- Flock: A Low-Cost Streaming Query Engine on FaaS Platforms☆275Updated last year
- A simple orm to saving lives☆23Updated 10 months ago
- A Go library implementation of the Model Controller Protocol (MCP). This library allows developers to easily parse MCP service configurat…☆48Updated 6 months ago
- 2048 in c language☆33Updated 2 months ago
- User Identity Scaffolding for Multiple OIDC Authentications for User☆95Updated 5 months ago
- Algorithmic implementation of indicators causal analysis, causal inference using Java. Helps to quickly find the root cause of indicators☆42Updated 5 months ago
- MCP server for Apache Iceberg☆31Updated this week
- 基于DDD & jdk21 & springcloud alibaba & gradle & rust & nuxt vue 的微服务架构混合语言的博客平台☆31Updated 3 months ago
- Market Breadth Monitor☆42Updated 5 months ago
- An expression engine written in pure rust☆34Updated last year
- High performance rank executor for advertisement and recommendation system, implemented in C/C++ and support ensembled into Java/Scala ho…☆75Updated last year
- Java implemented anomaly detection library.☆24Updated 5 months ago
- 🚀 An Asyncio-based concurrency library for Python.☆75Updated last year
- 🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…☆37Updated 5 years ago
- Distributed Systems,Based on Actor Model☆61Updated last year
- ☆82Updated last week
- go 语言仿写的 redis 服务器,支持 RESP 通信协议☆36Updated 2 years ago
- This repository contains the core methods and models described in the paper “Represent Code as Action Sequence for Predicting Next Method…☆56Updated last year
- A high-performance web server based on the multiplexer actor mode, with an underlying implementation using the epoll model☆34Updated last year
- trouve : A built-in integrated service discovery, service registration, and service forwarding general component for Spring projects☆29Updated last year
- MCP_Server for MediaCrawler. To Use MediaCrawler conveniently☆34Updated 3 months ago
- Alternative flat binary format for Protobuf schema☆78Updated last month
- The tryssh is a command line SSH terminal tool with password guessing function.☆32Updated 4 months ago
- ☆52Updated 6 months ago
- 强化学习-大语言模型☆66Updated 5 months ago