itsaphel / kuriLinks
Ergonomic framework to write MCP Servers in Rust
☆12Updated 9 months ago
Alternatives and similar repositories for kuri
Users that are interested in kuri are comparing it to the libraries listed below
Sorting:
- A Rust framework for correct and performant distributed systems☆1,163Updated this week
- Hybrid in-memory and disk cache in Rust☆1,623Updated 2 weeks ago
- Magical Deterministic Simulator for distributed systems in Rust.☆1,041Updated this week
- Add hardship to your tests☆1,116Updated 2 weeks ago
- Multi-DBMS SQL Benchmarking Framework via JDBC☆622Updated 2 months ago
- Infrastructure for researching self-driving databases☆27Updated 7 months ago
- a look into matt wang's intriguing monetary ventures☆10Updated 4 years ago
- TLAi+ Benchmarks☆28Updated last week
- 🗻 Log-structured, embeddable key-value storage engine written in Rust☆1,886Updated this week
- A cloud native embedded storage engine built on object storage.☆2,704Updated this week
- Code repository for SNARF☆13Updated 2 years ago
- Build Postgres Extensions with Rust!☆4,358Updated last week
- Verified Rust for low-level systems code☆2,291Updated this week
- Assignments for COMP SCI 839 from UW-Madison in Fall 2023☆12Updated 2 years ago
- An educational OLAP database system.☆1,813Updated 6 months ago
- Embedded property graph database built for speed. Vector search and full-text search built in. Implements Cypher.☆3,598Updated 4 months ago
- ☆607Updated 3 weeks ago
- egg is a flexible, high-performance e-graph library☆1,665Updated 2 months ago
- the os for claude code☆164Updated 3 months ago
- Tonbo is an embedded database for serverless and edge runtimes.☆1,486Updated this week
- A model checker for implementing distributed systems.☆1,776Updated 6 months ago
- A list papers of learning how to building database system☆259Updated last year
- A modular implementation of timely dataflow in Rust☆3,576Updated this week
- University of Maryland CMSC351 Algorithms Spring 2016 Full Lecture Notes in Latex with accompanying style package☆75Updated 8 years ago
- Self-Driving Database Management System from Carnegie Mellon University☆1,758Updated 3 years ago
- Command-line sampling profiler for macOS, Linux, and Windows☆3,909Updated 2 weeks ago
- ☆19Updated 4 years ago
- An automated prover that verifies the equivalence of SQL queries☆62Updated 2 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,473Updated 2 years ago
- CMU-DB's Cascades optimizer framework☆404Updated last year