ezyang / scubaduckLinks
☆53Updated 8 months ago
Alternatives and similar repositories for scubaduck
Users that are interested in scubaduck are comparing it to the libraries listed below
Sorting:
- This library provides an implementation of the DBSP language for incremental streaming computations.☆150Updated last month
- Minimal library for distributed python work. Can efficiently run CPU and GPU tasks across 100s of machines.☆88Updated this week
- ☆86Updated 8 months ago
- Prototype compiler from SaneQL to SQL☆88Updated 2 years ago
- A probabilistic approximate DNF counter☆39Updated 2 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆278Updated this week
- A MCP server for symbolic manipulation of mathematical expressions☆53Updated 7 months ago
- Terminal flame graph☆111Updated 5 years ago
- ☆134Updated 6 months ago
- HNSW tutorial☆164Updated last year
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆39Updated last month
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆79Updated 6 months ago
- Official Python API client library for turbopuffer☆103Updated this week
- Incremental View Maintenance for Python backends☆21Updated 2 years ago
- Sort input lines semantically with llm☆120Updated 8 months ago
- Pip-installable, embedded-like postgres server for your python app☆90Updated last year
- Fast similarity search using DuckDB☆145Updated last year
- A Rust-native DuckLake engine built on Apache DataFusion☆64Updated last week
- Use triggers to track when rows in a SQLite table were updated or deleted☆50Updated last month
- Build data processing and data analysis pipelines that leverage the power of LLMs 🧠☆247Updated 3 weeks ago
- ☆19Updated 9 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 11 months ago
- Embeddable stream processing engine based on Apache DataFusion☆374Updated last year
- The fastest ACID-transactional persisted Key-Value store designed as modified LSM-Tree for NVMe block-devices with GPU-acceleration and S…☆78Updated 2 years ago
- General purpose benchmarking tool for turbopuffer deployments☆24Updated 2 weeks ago
- B-field implementation in Rust☆204Updated 7 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆150Updated last year
- Shrinkray is a modern multi-format test-case reducer☆295Updated last week
- [SIGMOD 2026] F3: The Open-Source Data File Format for the Future☆408Updated 3 months ago
- Interpolate between embedding points with llm☆38Updated last year