meelgroup / pepinLinks
A probabilistic approximate DNF counter
☆39Updated 2 months ago
Alternatives and similar repositories for pepin
Users that are interested in pepin are comparing it to the libraries listed below
Sorting:
- Brzozowski derivative python sketch☆86Updated 9 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 11 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆75Updated 6 months ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated 2 years ago
- LD_PRELOADable library for exploring the glibc heap☆108Updated 10 months ago
- A collection of fluid simulations☆59Updated 3 months ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆64Updated 2 years ago
- ☆53Updated last year
- Beating the `bisect` module's implementation using C-extensions.☆32Updated 2 years ago
- PostgreSQL Prolog language handler☆135Updated last year
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- Tensor library & inference framework for machine learning☆117Updated 3 months ago
- Rewriting Principia Mathematica in Lean☆136Updated last week
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Updated 10 months ago
- fast combinations calculation in jax☆39Updated last year
- DiscoGrad - automatically differentiate across conditional branches in C++ programs☆209Updated last year
- Interpolate between embedding points with llm☆38Updated last year
- Heirarchical Navigable Small Worlds☆101Updated 5 months ago
- ZSV Utility for converting json to/from zip-separated-values☆56Updated last year
- Algebraic enhancements for GEMM & AI accelerators☆286Updated 11 months ago
- Various shape regularization algorithms☆86Updated 3 weeks ago
- Fun with wgpu: Simulating slime mold☆23Updated last year
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆33Updated last year
- Docker in 600 lines of bash using proot☆16Updated 5 years ago
- convert a scikit-learn decision tree into a Keras model☆39Updated 2 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated 2 years ago
- C++ raytracer that supports custom models. Supports running the calculations on the CPU using C++11 threads or in the GPU via CUDA.☆74Updated 3 years ago
- Multi-Array Queue program codes☆76Updated 8 months ago
- Various implementation of byte matrix multiplication☆26Updated last year
- Advanced Python Function Debugging with MCP Integration.☆58Updated 7 months ago