Alternatives and similar repositories for dice

Users that are interested in dice are comparing it to the libraries listed below

• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆79Updated 10 months ago
• neuppl / rsdd
  Performant and safe knowledge compilation in rust
  ☆27Updated last month
• Tractables / Alea.jl
  ☆25Updated this week
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 11 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated last year
• Tractables / LogicCircuits.jl
  Logic Circuits from the Juice library
  ☆48Updated 11 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆19Updated last month
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆19Updated 2 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆78Updated this week
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆106Updated 11 months ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆22Updated 6 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆115Updated 7 months ago
• verified-optimization / CvxLean
  Convex optimization modeling in Lean 4
  ☆46Updated last year
• bzhan / holpy
  Implementation of higher-order logic in Python
  ☆65Updated 2 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 6 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated this week
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated 2 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 2 months ago
• jasonrute / thoughts-on-ai-for-theorem-proving
  ☆27Updated 3 years ago
• zhangir-azerbayev / lean-chat
  ☆49Updated 2 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated last year
• haldai / Jurassic.pl
  Call Julia code from Prolog
  ☆27Updated 2 years ago
• avigad / polya
  A heuristic procedure for proving inequalities
  ☆33Updated 6 years ago
• arranger1044 / probabilistic-circuits
  A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.
  ☆50Updated last year
• latte-int / latte
  LattE integrale, software for counting lattice points and integration over convex polytopes
  ☆48Updated last month
• ML-KULeuven / PySDD
  Python package for Sentential Decision Diagrams (SDD)
  ☆62Updated 3 months ago
• jtristan / stump-learnable
  ☆16Updated 4 years ago