meelgroup / pepinLinks
A probabilistic approximate DNF counter
☆37Updated last month
Alternatives and similar repositories for pepin
Users that are interested in pepin are comparing it to the libraries listed below
Sorting:
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆66Updated 2 months ago
- fast combinations calculation in jax☆38Updated last year
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated 2 years ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 7 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 8 months ago
- Brzozowski derivative python sketch☆85Updated 6 months ago
- Various implementation of byte matrix multiplication☆26Updated 9 months ago
- Heirarchical Navigable Small Worlds☆101Updated 2 months ago
- Tensor library & inference framework for machine learning☆113Updated 3 weeks ago
- ☆53Updated 2 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- A collection of fluid simulations☆59Updated 3 weeks ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆80Updated 3 years ago
- A playground to make it easy to try crazy things☆33Updated last week
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆207Updated last year
- PostgreSQL Prolog language handler☆134Updated last year
- Implementing 20+ binary search trees to compare balancing strategies☆47Updated 2 months ago
- A star for organising blocks and playing with transformers.☆23Updated last year
- A web app that generates code for efficiently approximating mathematical functions of one variable.☆98Updated last year
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- Rewriting Principia Mathematica in Lean☆134Updated last month
- A Detailed Introduction to My Favorite Statistical Measure, Hoeffding's D☆100Updated last year
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- Interpolate between embedding points with llm☆38Updated last year
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆33Updated last year
- A MCP server for symbolic manipulation of mathematical expressions☆41Updated 3 months ago
- ☆34Updated last month
- ☆52Updated last year