Alternatives and similar repositories for table-formats-tlaplus

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

• embryo-labs / Blitzcrank
  [VLDB'24] Blitzcrank is to compress in-memory, OLTP databases. It introduces a new entropy coding algorithm named Delayed Coding.
  ☆40Updated last year
• Vanlightly / vsr-tlaplus
  TLA+ specifications related to Viewstamped Replication
  ☆51Updated 3 years ago
• noorall / equinoxdb
  [WIP] A key value separation time series data storage engine inspired by Wisckey and TSM.
  ☆15Updated 8 months ago
• flock-lab / flock
  Flock: A Low-Cost Streaming Query Engine on FaaS Platforms
  ☆278Updated 2 years ago
• 530051970 / auth-hub-demo
  User Identity Scaffolding for Multiple OIDC Authentications for User
  ☆95Updated 7 months ago
• jerry153fish / remote-secrets
  A k8s operator in rust that convert remote secrets into k8s secrets
  ☆70Updated last week
• Chen-speculation / auto-MCP-client
  A Go library implementation of the Model Controller Protocol (MCP). This library allows developers to easily parse MCP service configurat…
  ☆48Updated 9 months ago
• lizzy-0323 / oasisdb
  OasisDB: A minimal and lightweight vector database
  ☆67Updated 5 months ago
• ashyanSpada / expression_engine_rs
  An expression engine written in pure rust
  ☆34Updated this week
• algorithm-tools / ad4j
  Java implemented anomaly detection library.
  ☆25Updated last month
• morristai / iceberg-mcp
  MCP server for Apache Iceberg
  ☆33Updated 2 months ago
• algorithm-tools / CausalAnalysis
  Algorithmic implementation of indicators causal analysis, causal inference using Java. Helps to quickly find the root cause of indicators
  ☆43Updated 7 months ago
• MiilnVo / sqlbard
  一款基于MyBatis的轻量级插件，旨在如诗般优雅地呈现完整SQL
  ☆14Updated 7 months ago
• thegenius / luna-orm
  A simple orm to saving lives
  ☆23Updated last year
• morristai / breadth.me
  Market Breadth Monitor
  ☆41Updated 7 months ago
• yguo / rag-men
  A Contextual RAG Bot Framework
  ☆82Updated last year
• niuchenglei / rankextor
  High performance rank executor for advertisement and recommendation system, implemented in C/C++ and support ensembled into Java/Scala ho…
  ☆74Updated last year
• ohnnySong / 2048
  2048 in c language
  ☆33Updated 4 months ago
• hwyrq / wccloud-blog
  基于DDD & jdk21 & springcloud alibaba & gradle & rust & nuxt vue 的微服务架构混合语言的博客平台,展示如何将rust-web集成到传统spirng-cloud项目中
  ☆30Updated this week
• wwj31 / dogactor
  Distributed Systems,Based on Actor Model
  ☆61Updated last year
• ffengc / Reactor-based-HyperWebServer
  A high-performance web server based on the multiplexer actor mode, with an underlying implementation using the epoll model
  ☆33Updated last year
• wcr490 / screen_simulator
  LED Screen testing simulator on Windows with TCP
  ☆19Updated last year
• tsaol / Web3-serverless-analytics-on-aws
  ☆103Updated 2 years ago
• rockjl / rwp
  Rockwaypoint is an efficient, fast, highly concurrent, fully open source HTTP, HTTPS, TCP gateway.
  ☆33Updated 4 months ago
• lxrzlyr / GAL-DAWN
  GAL-DAWN: An Novel High performance computing Library of Graph Algorithms based on DAWN, CUDA/C++
  ☆86Updated 10 months ago
• SuperMarioYL / trouve
  trouve : A built-in integrated service discovery, service registration, and service forwarding general component for Spring projects
  ☆29Updated last year
• liulong1994 / MeleeWander
  A 3D game involves melee combat and parkour system based on UE5.
  ☆28Updated last year
• medivh-project / medivh
  Monitor your functions
  ☆80Updated last year
• JY0284 / code_completion_as_human_action_prediction
  This repository contains the core methods and models described in the paper “Represent Code as Action Sequence for Predicting Next Method…
  ☆55Updated last year
• systemoutprintlnnnn / ai-coding-prompt
  ☆18Updated 6 months ago