Alternatives and similar repositories for table-formats-tlaplus

Users that are interested in table-formats-tlaplus are comparing it to the libraries listed below

• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆52Updated 2 years ago
• flock-lab / flock
  Flock: A Low-Cost Streaming Query Engine on FaaS Platforms
  ☆272Updated last year
• jerry153fish / remote-secrets
  A k8s operator in rust that convert remote secrets into k8s secrets
  ☆71Updated last week
• embryo-labs / Blitzcrank
  [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.
  ☆38Updated 7 months ago
• WyattJia / Kites
  🪁 A consistency, partition tolerance completed distributed KV store, implementation of the Raft distributed consensus protocol and Kotli…
  ☆37Updated 4 years ago
• morristai / iceberg-mcp
  MCP server for Apache Iceberg
  ☆28Updated last month
• thegenius / luna-orm
  A simple orm to saving lives
  ☆24Updated 4 months ago
• ohnnySong / 2048
  2048 in c language
  ☆34Updated last year
• hominee / grsql
  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
• mintameta / mintameta-contract-nft
  ☆44Updated 3 years ago
• gh0stintheshe11 / CUDA-Accelerated-AES-Encryption
  University of Toronto / ECE1782 - Programming Massively Parallel Multiprocessors and Heterogeneous Systems / Project: an optimized CUDA I…
  ☆24Updated 10 months ago
• kaikaimiao / rabbitmq-multiple-spring-boot-starter
  用于解决springboot连接多个rabbitmq的starter
  ☆16Updated 3 years ago
• Vanlightly / raft-tlaplus
  TLA+ specifications for Raft and variants
  ☆89Updated 2 years ago
• xuhaike / SparseCL
  ☆30Updated 10 months ago
• WyattJia / Pomegranate
  🌳 A tiny skiplist based log-structured merge-tree written in Rust.
  ☆25Updated last year
• hebian1994 / cloud2024
  ☆30Updated last year
• 530051970 / auth-hub-demo
  User Identity Scaffolding for Multiple OIDC Authentications for User
  ☆97Updated 3 months ago
• lh728 / 0-to-1-Microservices-Distributed-E-commerce-System-Template
  This is a microservices-based distributed e-commerce system template designed to leverage a wide range of advanced management tools and p…
  ☆39Updated last month
• MiilnVo / sqlbard
  一款基于MyBatis的轻量级插件，旨在如诗般优雅地呈现完整SQL
  ☆13Updated last year
• pth-cocoon / pth-framework-master
  pth-framework-master
  ☆36Updated last year
• vortezwohl / Bhakti
  An easy-to-use vector database.
  ☆37Updated last month
• niuchenglei / rankextor
  High performance rank executor for advertisement and recommendation system, implemented in C/C++ and support ensembled into Java/Scala ho…
  ☆78Updated last year
• hfdpx / ConcurrentHashMap
  ☆19Updated 3 years ago
• qiangitchen / tlv8
  The project integrates workflow engine, report engine and organization authority management background, which can be applied to the devel…
  ☆27Updated 5 months ago
• gonearewe / SevenZ4S
  SevenZip library for Scala, easy to use.
  ☆37Updated 4 years ago
• ashyanSpada / expression_engine_rs
  An expression engine written in pure rust
  ☆33Updated last year
• xcancloud / AngusInfra
  AngusInfra is a foundational framework for rapidly developing multi-tenant web applications, built on the Enterprise-level development fr…
  ☆13Updated this week
• hwyrq / wccloud-blog
  基于DDD & jdk21 & springcloud alibaba & gradle & rust & nuxt vue 的微服务架构混合语言的博客平台
  ☆32Updated 8 months ago
• wxy0715 / java_bucket
  springboot全家桶,sptingboot集成各种中间件案例及完整代码
  ☆37Updated last week
• gz10177lg / Light-Benchmark
  ☆22Updated last year