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:
- [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☆51Updated 2 years ago
- [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.☆15Updated 7 months ago
- A Go library implementation of the Model Controller Protocol (MCP). This library allows developers to easily parse MCP service configurat…☆48Updated 8 months ago
- Algorithmic implementation of indicators causal analysis, causal inference using Java. Helps to quickly find the root cause of indicators☆43Updated 6 months ago
- Java implemented anomaly detection library.☆25Updated 3 weeks ago
- A simple orm to saving lives☆23Updated last year
- User Identity Scaffolding for Multiple OIDC Authentications for User☆95Updated 6 months ago
- An expression engine written in pure rust☆34Updated last year
- go 语言仿写的 redis 服务器，支持 RESP 通信协议☆36Updated 2 years ago
- A k8s operator in rust that convert remote secrets into k8s secrets☆70Updated last week
- Market Breadth Monitor☆42Updated 7 months ago
- 🚀 An Asyncio-based concurrency library for Python.☆75Updated last year
- A high-performance web server based on the multiplexer actor mode, with an underlying implementation using the epoll model☆34Updated last year
- OasisDB: A minimal and lightweight vector database☆68Updated 4 months ago
- 基于DDD & jdk21 & springcloud alibaba & gradle & rust & nuxt vue 的微服务架构混合语言的博客平台☆31Updated last month
- This repository contains the core methods and models described in the paper “Represent Code as Action Sequence for Predicting Next Method…☆56Updated 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
- A 3D game involves melee combat and parkour system based on UE5.☆28Updated last year
- 2048 in c language☆33Updated 3 months ago
- trouve : A built-in integrated service discovery, service registration, and service forwarding general component for Spring projects☆29Updated last year
- ☆19Updated 3 years ago
- A simple python connection SDK, used to connect HIVE Database☆37Updated 6 years ago
- generate resume and cover letter☆63Updated last year
- 一款打破Dubbo缺陷的快速响应RPC，采用异步响应式架构，旨在克服 Dubbo 的一些限制，提升性能和效率。专注于解决 Dubbo 存在的性能瓶颈问题，减少不必要的性能开销，并同时简化了程序员的工作流程，提高了代码的可读性☆67Updated last year
- golang embed message queue for telegram bot limit☆64Updated 9 months ago
- mobile predict☆25Updated last year
- Rockwaypoint is an efficient, fast, highly concurrent, fully open source HTTP, HTTPS, TCP gateway.☆33Updated 4 months ago
- GAL-DAWN: An Novel High performance computing Library of Graph Algorithms based on DAWN, CUDA/C++☆86Updated 9 months ago
- Implementation of RSGC-BD (Blur Detection)☆46Updated last year