A probabilistic approximate DNF counter
☆41May 24, 2026Updated 2 months ago
Alternatives and similar repositories for pepin
Users that are interested in pepin are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The first efficient procedure to test whether a sampler is uniform☆14Mar 27, 2025Updated last year
- Entry to model counting competition 2021.☆25Jun 25, 2024Updated 2 years ago
- GraphTerm: An aspirational DevOps and Container IDE Concept☆27Nov 20, 2017Updated 8 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- fast probabilistic symmetry detection on graphs☆22Updated this week
- 🌳 Generate a fresh bonsai in your terminal☆33Oct 4, 2021Updated 4 years ago
- Applications of reinforcement learning to Groebner basis computation.☆14Jun 13, 2021Updated 5 years ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆16May 26, 2025Updated last year
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- CRC Tool Kit☆18Oct 5, 2012Updated 13 years ago
- Educational comparison of the Paxos and Raft distributed consensus algorithms☆13Jul 23, 2023Updated 3 years ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 7 years ago
- Einsum Expressions in Julia☆14Aug 2, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A toolbox for knowledge compilation☆27Nov 25, 2025Updated 8 months ago
- ☆18May 29, 2026Updated 2 months ago
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in…☆46Mar 29, 2026Updated 4 months ago
- Tools for Natural Language Processing☆12Feb 16, 2018Updated 8 years ago
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆65Feb 25, 2025Updated last year
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- Source code for the Joint Shapley values: a measure of joint feature importance☆12Sep 14, 2021Updated 4 years ago
- Library for fast text representation and classification.☆31Jan 9, 2024Updated 2 years ago
- ☆28Aug 7, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- C++ Implementation of Zip Trees☆14Nov 5, 2022Updated 3 years ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆12Sep 26, 2016Updated 9 years ago
- ☆11Jul 9, 2023Updated 3 years ago
- ☆12Sep 13, 2024Updated last year
- Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project☆17Dec 14, 2016Updated 9 years ago
- STLink library with WebUSB☆13Jan 2, 2022Updated 4 years ago
- Reformat datasets into zarr☆13Jun 10, 2025Updated last year
- A Kafka client for Racket.☆18Aug 4, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Mar 7, 2023Updated 3 years ago
- Code for computing Hypergraph Co-Optimal Transport distances☆17Jan 19, 2023Updated 3 years ago
- Official code of "PLEX: Towards Practical Learned Indexing", aka TrieSpline (AIDB @VLDB'21)☆16Jun 30, 2022Updated 4 years ago
- ☆13Jun 22, 2022Updated 4 years ago
- Implementation of the DeepSqueeze paper: https://cs.brown.edu/people/acrotty/pubs/3318464.3389734.pdf☆13Oct 14, 2021Updated 4 years ago
- ☆33Mar 27, 2023Updated 3 years ago
- Home-Assistant custom integration adding a 1D Kalman filter☆12Dec 26, 2020Updated 5 years ago