meelgroup / pepinLinks
A probabilistic approximate DNF counter
☆37Updated 2 weeks ago
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 …☆63Updated 3 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 4 months ago
- ☆22Updated 9 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 3 months ago
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆31Updated 3 months ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated last year
- Fun with wgpu: Simulating slime mold☆24Updated 10 months ago
- ☆51Updated last year
- ZSV Utility for converting json to/from zip-separated-values☆56Updated last year
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- Interpolate between embedding points with llm☆37Updated 11 months ago
- ☆44Updated 4 months ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆30Updated last year
- High-performance Python runtime extensions☆21Updated this week
- Binary search trees☆46Updated 3 weeks ago
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year
- A description of the relationship between databases, collaboration and Kripke☆28Updated 3 years ago
- Lamport's Bakery Algorithm Demonstrated in Python☆97Updated last year
- Brzozowski derivative python sketch☆85Updated 2 months ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Various implementation of byte matrix multiplication☆26Updated 5 months ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- a 64-bit histogram / quantile sketch☆59Updated 5 months ago
- A web app that generates code for efficiently approximating mathematical functions of one variable.☆96Updated 8 months ago
- A demo of "slow-start" in TCP, a congestion control concept. Written in Go.☆28Updated 8 months ago
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Updated 3 years ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- NanoCollision: Experiments with collisions of nanosecond timestamps☆23Updated last year
- Zig library for HyperLogLog estimation☆89Updated 11 months ago
- Tensor library & inference framework for machine learning☆77Updated last week