qed-solver / prover

Related projects: ⓘ

• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆72Updated last year
• cmu-db / pgextmgrext
  A Postgres Extension to Manage Extensions! (As well as some random stuff)
  ☆15Updated last year
• XiangpengHao / congee
  Concurrent ART (adaptive radix tree)
  ☆94Updated last week
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆40Updated 3 weeks ago
• scuptio / sedeve-kit
  In Spec We Trust
  ☆28Updated 2 months ago
• openebs / spdk-sys
  Rust bindings for SPDK
  ☆12Updated 4 years ago
• risinglightdb / pretty-xmlish
  Pretty printing library for SQL
  ☆23Updated last year
• datenlord / lockfree-cuckoohash
  A rust implementation of lock free cuckoo hashmap
  ☆68Updated 2 years ago
• wyfunique / DBSim
  The codebase for DBSim
  ☆15Updated last year
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• skyzh / pg_poop
  A Postgres extension that rewrites strings to 💩
  ☆20Updated last year
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆33Updated last year
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆29Updated last year
• SJTU-IPADS / vegito
  ☆51Updated last year
• stonysystems / depfast-ae
  ☆18Updated last week
• risingwavelabs / memcomparable
  A memcomparable serialization format.
  ☆22Updated last year
• datafusion-contrib / tpctools
  Tools for generating TPC-* datasets
  ☆26Updated 2 months ago
• raptazure / unifier
  A multi-threaded, persistent key/value store
  ☆17Updated 3 years ago
• penberg / ycsb-rs
  A Rust port of Yahoo! Cloud Serving Benchmark (YCSB)
  ☆27Updated 2 years ago
• sfu-dis / mosaicdb
  The Art of Latency Hiding in Modern Database Engines (VLDB 2024)
  ☆47Updated 7 months ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• skyzh / rust-ycsb
  YCSB in Rust (WIP)
  ☆19Updated 3 years ago
• markcty / rMiniK8s
  A simple containerized application manage system like Kubernetes, but written in Rust
  ☆19Updated 2 years ago
• wangyisong1996 / most
  Codes for MO's Trading
  ☆15Updated 2 years ago
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆27Updated 9 months ago
• egraphs-good / eggcc
  ☆41Updated last month
• risingwavelabs / jsonbb
  A binary representation of json value, optimized for parsing and querying.
  ☆21Updated 3 months ago
• XiangpengHao / alchemy
  ☆13Updated this week
• asu-idi / CaaS-LSM
  [SIGMOD '24] CaaS-LSM: Compaction-as-a-Service for LSM-based Key-Value Stores in Storage Disaggregated Infrastructure
  ☆57Updated 2 months ago
• risingwavelabs / rfcs
  RFC (request for comments) for changes to RisingWave
  ☆16Updated last month