A probabilistic approximate DNF counter
☆41May 24, 2026Updated 4 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
- A software device simulator that shows how to use the nRF Cloud APIs.☆15Feb 6, 2026Updated 8 months 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 years ago
- DRAT proof processor☆16Apr 8, 2023Updated 3 years ago
- ☆72Updated this week
- fast probabilistic symmetry detection on graphs☆22Aug 13, 2026Updated 2 months ago
- A Fast Hadamard Transform for Signals with Sub-linear Sparsity in the Transform Domain -- Implementation☆18Oct 10, 2016Updated 10 years ago
- Standard library for Lambda Calculus, finally making LC a practical programming language.☆16May 26, 2025Updated last year
- Educational comparison of the Paxos and Raft distributed consensus algorithms☆13Jul 23, 2023Updated 3 years ago
- static symmetry breaking for SAT☆25May 26, 2026Updated 4 months ago
- C++ header-only ESOP library☆16May 18, 2024Updated 2 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.
- MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies☆14Mar 5, 2026Updated 7 months ago
- A quaternion-driven traversal framework for trees and orientation-based data structures.☆16Jun 21, 2026Updated 3 months ago
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated 3 weeks ago
- Einsum Expressions in Julia☆15Aug 2, 2025Updated last year
- Developing mathematics in Rocq from the ground up☆25Mar 15, 2026Updated 7 months ago
- A four-dimensional Analysis of Partitioned Approximate Filters☆11Aug 6, 2025Updated last year
- Local decision model with calibrated probabilities: send a state and yes/no, choice or score questions, get a probability for every optio…☆92Oct 5, 2026Updated last week
- Shoegaze rock-inspired Turing-complete fractal music language. 1st place @ MIT Media Lab hackathon.☆64Feb 25, 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.
- A toolbox for knowledge compilation☆29Nov 25, 2025Updated 10 months 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
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in…☆47Mar 29, 2026Updated 6 months ago
- Exploring techniques for code refactoring with formal verification☆11Oct 27, 2024Updated last year
- ☆60Dec 11, 2025Updated 10 months ago
- High-performance model counter☆65Oct 11, 2026Updated last week
- C++ Implementation of Zip Trees☆14Nov 5, 2022Updated 3 years ago
- Library for fast text representation and classification.☆31Jan 9, 2024Updated 2 years ago
- ☆22Jan 31, 2026Updated 8 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Userscript that introduces some user experience enhancements to the Nixpkgs and the NixOS manuals☆14Oct 16, 2023Updated 3 years ago
- Coq library for reasoning about quantum programs☆41Apr 3, 2026Updated 6 months ago
- Exercises from The Little Schemer (4th Ed) by Daniel P. Friedman and Matthias Felleisen☆12Sep 26, 2016Updated 10 years ago
- ☆12Jul 9, 2023Updated 3 years ago
- An experimental programming language for ergonomic software verification☆16Sep 28, 2026Updated 2 weeks ago
- Structured BVA☆46Apr 26, 2024Updated 2 years ago
- Code for computing Hypergraph Co-Optimal Transport distances☆17Jan 19, 2023Updated 3 years ago