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 …☆62Updated 2 months ago
- A GPU Accelerated Binary Vector Store☆47Updated 3 months ago
- Various implementation of byte matrix multiplication☆26Updated 4 months ago
- ☆22Updated 8 months ago
- Brzozowski derivative python sketch☆85Updated last month
- A Low Barrier Proof Assistant☆110Updated this week
- A Full Transcript of the Lighthill Debate on AI from 1973, with Introductory Remarks☆30Updated last year
- LD_PRELOADable library for exploring the glibc heap☆107Updated 2 months ago
- ☆82Updated 7 months ago
- ☆44Updated 3 months ago
- Testing various image matching algorithms' performance on the Pinecone vector DB☆43Updated last year
- A JPEG Image Compression Service using Part Homomorphic Encryption.☆30Updated 2 months ago
- ☆51Updated 11 months ago
- Materials for my lectures including programming langauge design, software engineering and human-computer interaction.☆18Updated last year
- A MCP server for symbolic manipulation of mathematical expressions☆25Updated last week
- ☆18Updated 11 months ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆42Updated this week
- What if Git worked with Programming Languages?☆98Updated 3 years ago
- Experiments with applying Fourier transofrms to various plane-filling curves and patterns☆66Updated 2 years ago
- ☆53Updated 4 years ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 5 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆44Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…☆36Updated 2 years ago
- ZSV Utility for converting json to/from zip-separated-values☆56Updated last year
- Sequential Logic☆112Updated this week
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Updated 3 years ago