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:
- Brzozowski derivative python sketch☆85Updated 3 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 4 months ago
- Fun with wgpu: Simulating slime mold☆24Updated 10 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 4 months ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆63Updated this week
- ZSV Utility for converting json to/from zip-separated-values☆56Updated last year
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆75Updated 2 years ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated last year
- Multi-Array Queue program codes☆75Updated last month
- Block Erasure Format - An extensible, fast, and usable file utility to encode and decode interleaved erasure coded streams of data.☆58Updated last year
- A demo of analyzing a TLA+ state graph☆29Updated 2 years ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- a 64-bit histogram / quantile sketch☆59Updated 6 months ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- HypergraphZ - A Hypergraph Implementation in Zig☆104Updated 2 weeks ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- A web app that generates code for efficiently approximating mathematical functions of one variable.☆96Updated 9 months ago
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆30Updated last year
- Heirarchical Navigable Small Worlds☆97Updated 3 months ago
- PostgreSQL Prolog language handler☆134Updated last year
- A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.☆77Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Various implementation of byte matrix multiplication☆26Updated 6 months ago
- Binary search trees☆47Updated last month
- Scale to zero Seafowl hosting with Cloud Run☆37Updated 2 years ago
- Zig library for HyperLogLog estimation☆89Updated 11 months ago
- This repository contains the official authors implementation associated with the paper "TVMC: Time-Varying Mesh Compression Using Volume-…☆31Updated 2 months ago
- Tensor library & inference framework for machine learning☆101Updated this week