A near-optimal exact sampler for discrete probability distributions
☆63Apr 8, 2025Updated last year
Alternatives and similar repositories for fast-loaded-dice-roller
Users that are interested in fast-loaded-dice-roller are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Optimal approximate sampling from discrete probability distributions☆19Mar 9, 2021Updated 5 years ago
- Random variate generation library in C☆10Oct 21, 2026Updated 2 weeks ago
- A streaming cross-cat inference engine☆20Mar 27, 2024Updated 2 years ago
- The PERPL Compiler☆14Oct 17, 2025Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆86Apr 12, 2026Updated 6 months ago
- 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.
- E.T. Jaynes home phone.☆45Jan 11, 2021Updated 5 years ago
- An arbitrary-precision differentiable programming language.☆35Jul 7, 2023Updated 3 years ago
- ☆14Feb 1, 2024Updated 2 years ago
- Analytic sampler framework for algebraic data types☆16May 12, 2023Updated 3 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 11 years ago
- An algorithm for generating random doubles.☆13Feb 21, 2017Updated 9 years ago
- An expressive language for discrete probabilistic programming with lazy knowledge compilation☆18Jul 27, 2026Updated 3 months ago
- ☆21Jul 26, 2025Updated last year
- ☆45Aug 11, 2025Updated last year
- 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 interactive, browser-based probabilistic programming environment.☆14Sep 18, 2020Updated 6 years ago
- ☆10Oct 26, 2022Updated 4 years ago
- Bertsekas auction algorithm for asymmetric matrices with positive real coefficients (from 0 to 1; eg. MHT data association) - Multithread…☆11Sep 18, 2020Updated 6 years ago
- Create a surrogate ANN/GBR/GPR/SVR model for regression of nuclear reactor power distribution☆10Sep 8, 2021Updated 5 years ago
- 🦞 Rust library of natural language dictionaries using character-wise double-array tries.☆40Aug 12, 2026Updated 2 months ago
- ☆14Feb 2, 2023Updated 3 years ago
- Combo.jl: Combinatorial Optimization in Julia☆16Dec 18, 2019Updated 6 years ago
- Universe-sliced indexes in C++.☆19Jan 8, 2023Updated 3 years ago
- A Haskell probabilistic programming library.☆23May 28, 2026Updated 5 months 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.
- Chimple, a Probabilistic Programming Java API☆14Jun 4, 2014Updated 12 years ago
- This reaxFF LAMMPS script can be used to simulate the oxidation of nanomaterials, followed by cooling and thermal equilibration. Finally,…☆14Jul 29, 2022Updated 4 years ago
- Replacement (fast!) for dlmwrite in MATLAB☆13Feb 12, 2020Updated 6 years ago
- PL syntax macros.☆22Oct 8, 2026Updated 3 weeks ago
- Repository holding releases of our work on the formal verification of x86 binaries.☆18Oct 30, 2026Updated last week
- Sleek implementations of the ZigZag, Boomerang and other assorted piecewise deterministic Markov processes for Markov Chain Monte Carlo i…☆105Sep 2, 2022Updated 4 years ago
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆22Jul 28, 2026Updated 3 months ago
- Pytorch code for Sampling in Combinatorial Spaces with SurVAE Flow Augmented MCMC☆11Mar 1, 2021Updated 5 years ago
- Artifact repository for the "Practical Verification of System-Software Components Written in Standard C" paper (SOSP'24)☆24May 7, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Parallel ML benchmark suite☆23Dec 8, 2025Updated 10 months ago
- Gen learning material as Jupyter notebooks☆130Mar 12, 2026Updated 7 months ago
- Build-to-Order BLAS☆12Apr 9, 2019Updated 7 years ago
- Based on lectures on the LLM-Verifier Interface at the Summer School on Foundations of Programming and Software Systems (FoPSS 2026)☆17Jul 14, 2026Updated 3 months ago
- Prototype of the system described in "Trace Types and Denotational Semantics for Sound Programmable Inference in Probabilistic Languages"☆11Aug 8, 2025Updated last year
- Approximate and vectorized versions of common mathematical functions☆13Mar 1, 2017Updated 9 years ago
- Claude Code skill plugin for cleaning up, golfing, and bringing Lean 4 code up to mathlib standards☆37Updated this week