meelgroup / pepinView external linksLinks
A probabilistic approximate DNF counter
☆39Nov 30, 2025Updated 2 months ago
Alternatives and similar repositories for pepin
Users that are interested in pepin are comparing it to the libraries listed below
Sorting:
- The first efficient procedure to test whether a sampler is uniform☆13Mar 27, 2025Updated 10 months ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- High-performance model counter☆53Updated this week
- A package for Safe Anytime Valid Inference☆26Nov 4, 2024Updated last year
- Notes from my presentation on Python packaging at PyGotham 2021☆21Jul 29, 2022Updated 3 years ago
- Reference counting with linear types☆32Nov 22, 2025Updated 2 months ago
- Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]☆31Jun 27, 2025Updated 7 months ago
- Verification-condition-generation-based verifier for the Viper intermediate verification language.☆34Updated this week
- Library for fast text representation and classification.☆31Jan 9, 2024Updated 2 years ago
- Differential Privacy implementation for IUDX☆13Jan 5, 2026Updated last month
- A formal consistency proof of Quine's set theory New Foundations☆79Jun 18, 2025Updated 7 months ago
- UniGen approximately uniform sampler☆35Jul 24, 2025Updated 6 months ago
- My WebAssembly VM☆76Jan 26, 2026Updated 2 weeks ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆257Updated this week
- A massively parallel, optimal functional runtime in Rust☆31Aug 7, 2024Updated last year
- Topological sort library in Zig☆97Dec 13, 2025Updated 2 months ago
- Example to read qr code with kotlin☆10Jul 24, 2018Updated 7 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated 11 months ago
- bayesPop R package☆11Feb 6, 2026Updated last week
- The repository for the paper "Predicting in-hospital mortality by combining clinical notes with time-series data"☆12May 23, 2021Updated 4 years ago
- CMake dependency tracking library☆13Jan 10, 2026Updated last month
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- A C++ template library for polynomials algebra over discrete integral domains☆11May 9, 2025Updated 9 months ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- Template for a BTHome sensor in nRF52.☆11Mar 18, 2023Updated 2 years ago
- Sanguimancy: A Blood Magic addon☆10Jul 30, 2019Updated 6 years ago
- Direct transcription of an optimal control problem and resolution☆12Feb 7, 2026Updated last week
- Uber god-view server and frontend for archived data☆11Sep 19, 2016Updated 9 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Oct 30, 2025Updated 3 months ago
- Transform messy HTML from Google Docs into well-structured HTML!☆13Jul 10, 2025Updated 7 months ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- sicp.epub in compressed and exploded view.☆38Mar 13, 2016Updated 9 years ago
- Create Thaumcraft Nodes☆10May 7, 2015Updated 10 years ago
- Apache Subversion JavaHL☆10Mar 16, 2023Updated 2 years ago
- Deniz's C Library☆22May 8, 2014Updated 11 years ago
- Machine settings, photos of material test swatches, and code to generate diffraction patterns on stainless steel with a MOPA fiber laser☆48Oct 17, 2025Updated 3 months ago
- the project of operating system course.☆11Jul 30, 2017Updated 8 years ago
- Competitive programming utilities in Haskell☆42Jan 11, 2026Updated last month