A probabilistic approximate DNF counter
☆41Nov 9, 2026Updated this week
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.☆26Jun 25, 2024Updated 2 years ago
- GraphTerm: An aspirational DevOps and Container IDE Concept☆27Nov 20, 2017Updated 8 years ago
- High-performance model counter☆67Updated this week
- Mostly Automated Proof Repair for Verified Libraries☆17Jun 1, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago
- Haskell implementation of open games☆13Apr 20, 2016Updated 10 years ago
- HALL (Haifa AllSAT) - AllSAT enumeration for Combinational Circuits☆10Aug 5, 2026Updated 3 months ago
- Repository for "User awareness in frontier models: who's asking shifts what models say"☆16Aug 6, 2026Updated 3 months ago
- 🌳 Generate a fresh bonsai in your terminal☆34Oct 4, 2021Updated 5 years ago
- Collection of examples for the MiniSat API☆16Feb 1, 2011Updated 15 years ago
- A Fast Hadamard Transform for Signals with Sub-linear Sparsity in the Transform Domain -- Implementation☆18Oct 10, 2016Updated 10 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies☆14Mar 5, 2026Updated 8 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.
- Coordinate AI sprints across different models, harnesses and machines.☆22Updated this week
- Actor-based Runtime Verification Tool☆19Apr 13, 2023Updated 3 years ago
- A quaternion-driven traversal framework for trees and orientation-based data structures.☆16Jun 21, 2026Updated 4 months ago
- Applications of reinforcement learning to Groebner basis computation.☆15Jun 13, 2021Updated 5 years ago
- The Scheme bytecode compiler from the book Lisp in Small Pieces in Common Lisp☆12Jul 23, 2019Updated 7 years ago
- ☆13Jun 2, 2024Updated 2 years ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago
- Verified algorithms in Lean, implemented and proved by AIs☆12Apr 28, 2026Updated 6 months ago
- Example to read qr code with kotlin☆10Jul 24, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- C++ header-only ESOP library☆16May 18, 2024Updated 2 years ago
- Peer-to-peer WebRTC connections with built-in signaling and peer discovery.☆90Updated this week
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- Developing mathematics in Rocq from the ground up☆26Mar 15, 2026Updated 7 months ago
- Tools for Natural Language Processing☆12Feb 16, 2018Updated 8 years ago
- Dataframe-agnostic Zarr Storage powered by Narwhals☆10Dec 1, 2025Updated 11 months ago
- Yet Another Useless Claude Code Agent — persistent long-term memory for Claude Code☆13Apr 11, 2026Updated 7 months ago
- EPMC: An Extendible Probabilistic Model Checker☆21Jan 13, 2025Updated last year
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- ☆28Aug 7, 2023Updated 3 years ago
- ☆19May 29, 2026Updated 5 months ago
- Dimacs CNF utilities☆21Sep 29, 2026Updated last month
- A Simple Algorithm for Minimum Cuts in Near-Linear Time (SWAT '20)☆12Apr 24, 2020Updated 6 years ago
- Official Repository for the ICLR 2022 paper "Generalization of Neural Combinatorial Solvers through the Lens of Adversarial Robustness"☆14Nov 20, 2022Updated 3 years ago
- Have UV deal with all your Jupyter deps.☆28Sep 7, 2024Updated 2 years ago
- A compact, modular C++ library for Customizable Contraction Hierarchies.☆11Feb 13, 2024Updated 2 years ago
Are these results useful?