A probabilistic approximate DNF counter
☆41May 24, 2026Updated 3 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:
- 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
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- fast probabilistic symmetry detection on graphs☆22Aug 13, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 🌳 Generate a fresh bonsai in your terminal☆33Oct 4, 2021Updated 4 years ago
- ☆60Dec 11, 2025Updated 8 months ago
- A quaternion-driven traversal framework for trees and orientation-based data structures.☆16Jun 21, 2026Updated 2 months ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- static symmetry breaking for SAT☆24May 26, 2026Updated 3 months ago
- C++ header-only ESOP library☆16May 18, 2024Updated 2 years ago
- Example to read qr code with kotlin☆10Jul 24, 2018Updated 8 years ago
- ☆18May 29, 2026Updated 3 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 5 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Dimacs CNF utilities☆20Jan 17, 2011Updated 15 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆13Nov 20, 2022Updated 3 years ago
- High-performance model counter☆65Jul 24, 2026Updated last month
- ☆28Aug 7, 2023Updated 3 years ago
- ☆22Jan 31, 2026Updated 7 months ago
- Reproducibility package for "Robust Join Processing with Diamond Hardened Joins"☆12Jul 10, 2024Updated 2 years ago
- Coq library for reasoning about quantum programs☆41Apr 3, 2026Updated 5 months ago
- Implementation of Google Dremel's storage engine in a custom in-memory DB with query compilation.☆14Oct 10, 2020Updated 5 years ago
- Code for computing Hypergraph Co-Optimal Transport distances☆17Jan 19, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code for "Practical Low-Rank Communication Compression in Decentralized Deep Learning"☆17Aug 4, 2020Updated 6 years ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆71Nov 21, 2023Updated 2 years ago
- ☆12Oct 12, 2018Updated 7 years ago
- Official code of "PLEX: Towards Practical Learned Indexing", aka TrieSpline (AIDB @VLDB'21)☆16Jun 30, 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
- Python quick reference☆21Nov 14, 2013Updated 12 years ago
- Automatically restore Romanian diacritics from flat text using neural nets☆14Aug 4, 2018Updated 8 years ago
- Unmaintained - Simple FileMaker-to-Django model syncing and Pythonic FileMaker access☆12Apr 29, 2016Updated 10 years ago
- a very fast parser for sparse matrix at libsvm format☆10Nov 13, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An implementation of the persistent skiplist based on Intel Optane Persistent Memory. It is with Intel's pmemkv as an storage engine☆13Apr 9, 2021Updated 5 years ago
- ApertureDB Python Client☆13Aug 27, 2026Updated last week
- A simple embedded programming language☆20Apr 30, 2026Updated 4 months ago
- Code line highlighting for LaTeX with lstlisting (for beamer)☆16Nov 11, 2014Updated 11 years ago
- Text preprocessing package for use in NLP tasks https://pypi.org/project/textcl/☆12Aug 9, 2024Updated 2 years ago
- Code written while working through the book LISP in Small Pieces☆27Feb 16, 2014Updated 12 years ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆29Jan 24, 2022Updated 4 years ago