qed-solver / prover

Related projects ⓘ

Alternatives and complementary repositories for prover

• scuptio / sedeve-kit
  In Spec We Trust
  ☆32Updated 4 months ago
• cmu-db / pgextmgrext
  A Postgres Extension to Manage Extensions! (As well as some random stuff)
  ☆15Updated last year
• risinglightdb / sql-optimizer-labs
  🚧 Build a SQL optimizer in 1000 lines of Rust using egg.
  ☆73Updated last year
• SJTU-IPADS / vegito
  ☆51Updated last year
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆49Updated last month
• openebs-archive / spdk-sys
  Rust bindings for SPDK
  ☆12Updated 4 years ago
• MisakaCenter / AwesomePL
  A Collection of Papers & Notes in Programming Language & Formal Verification
  ☆16Updated 2 years ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• skyzh / pg_poop
  A Postgres extension that rewrites strings to 💩
  ☆20Updated last year
• stonysystems / depfast-ae
  ☆18Updated 2 weeks ago
• risinglightdb / pretty-xmlish
  Pretty printing library for SQL
  ☆24Updated last year
• sfu-dis / mosaicdb
  The Art of Latency Hiding in Modern Database Engines (VLDB 2024)
  ☆47Updated last month
• andygrove / sqlfuzz
  SQL Fuzz Testing Utilities
  ☆29Updated 11 months ago
• wyfunique / DBSim
  The codebase for DBSim
  ☆15Updated last year
• SHTUSIST / AisLSM
  ☆10Updated 6 months ago
• datafusion-contrib / tpctools
  Tools for generating TPC-* datasets
  ☆26Updated 4 months ago
• georgia-tech-db / spes
  Tool for checking whether two SQL queries are equivalent
  ☆34Updated last year
• risingwavelabs / memcomparable
  A memcomparable serialization format.
  ☆22Updated last year
• datenlord / lockfree-cuckoohash
  A rust implementation of lock free cuckoo hashmap
  ☆67Updated 2 years ago
• kaist-cp / smr-benchmark
  SMR Benchmark: A Microbenchmark Suite for Concurrent Safe Memory Reclamation Schemes
  ☆38Updated 2 months ago
• pdlfs / tablefs
  Fast and efficient file system metadata through LSM-tree
  ☆29Updated 2 years ago
• ut-osa / boki
  Boki: Stateful Serverless Computing with Shared Logs [SOSP '21]
  ☆80Updated 2 years ago
• neumannt / saneql
  Prototype compiler from SaneQL to SQL
  ☆72Updated 10 months ago
• sfu-dis / tesseract
  Tesseract: Efficient Online Schema Evolution for Snapshot Databases (VLDB 2023)
  ☆21Updated last year
• wangyisong1996 / most
  Codes for MO's Trading
  ☆15Updated 2 years ago
• skyzh / rust-ycsb
  YCSB in Rust (WIP)
  ☆19Updated 3 years ago
• XiangpengHao / bf-tree-docs
  Bf-Tree: A Modern Read-Write-Optimized Concurrent Larger-Than-Memory Range Index
  ☆46Updated last month
• Thesys-lab / HotOS23-QD-LP
  The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"
  ☆32Updated last year
• purduedb / OpenAurora
  OpenAurora is a cloud-native database system prototype developed at Purdue University. It is an open-source version of Amazon Aurora. It …
  ☆72Updated this week