ezyang / scubaduckLinks
☆47Updated 2 months ago
Alternatives and similar repositories for scubaduck
Users that are interested in scubaduck are comparing it to the libraries listed below
Sorting:
- A probabilistic approximate DNF counter☆37Updated 3 weeks ago
- ☆84Updated 2 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆64Updated 2 weeks ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆132Updated 6 months ago
- Interpolate between embedding points with llm☆37Updated last year
- Official Python API client library for turbopuffer☆67Updated last week
- Sort input lines semantically with llm☆120Updated 2 months ago
- A MCP server for symbolic manipulation of mathematical expressions☆35Updated last month
- Terminal flame graph☆110Updated 5 years ago
- Grep source code and see useful code context about matching lines☆256Updated 3 months ago
- What if an HNSW index was just a file, and you could serve it from a CDN, and search it directly in the browser?☆106Updated 4 months ago
- Easiest-ever formal methods language! Designed for developers crafting distributed systems, microservices, and cloud applications☆242Updated last week
- Bayesian Optimization as a Coverage Tool for Evaluating LLMs. Accurate evaluation (benchmarking) that's 10 times faster with just a few l…☆286Updated last week
- Streaming Markdown parser for tui clis☆287Updated this week
- Shrinkray is a modern multi-format test-case reducer☆274Updated 5 months ago
- Heirarchical Navigable Small Worlds☆101Updated last week
- "git diff" over abstract syntax trees☆56Updated last year
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆37Updated last month
- Super-fast Structured Outputs☆417Updated this week
- ☆51Updated last year
- Fast similarity search using DuckDB☆139Updated 9 months ago
- Code used to create text embeddings of all Magic: The Gathering cards.☆55Updated 5 months ago
- B-field implementation in Rust☆203Updated last month
- Tensor library & inference framework for machine learning☆108Updated this week
- High-Performance Implementation of OpenAI's TikToken.☆444Updated last month
- Rust bindings to GAP (Groups, Algorithms, Programming)☆28Updated 2 years ago
- progscrape.com source☆98Updated 2 months ago
- ☆109Updated 3 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 5 months ago
- A native Jupyter notebook frontend with local + remote kernels, reactive cells, and IDE features, implemented in Rust☆122Updated 6 months ago