gitextract_x9tdq2je/ ├── .github/ │ ├── actions/ │ │ └── nix-common-setup/ │ │ └── action.yml │ ├── dependabot.yml │ └── workflows/ │ ├── ci.yml │ ├── nix.yml │ └── update-flake-lock.yml ├── .gitignore ├── .hlint.yaml ├── CHANGELOG.md ├── LICENSE.md ├── MAINTAINERS.md ├── README.md ├── Setup.hs ├── benchmark/ │ ├── SSM.hs │ ├── Single.hs │ └── Speed.hs ├── default.nix ├── docs/ │ ├── docs/ │ │ ├── examples.md │ │ ├── index.md │ │ ├── javascripts/ │ │ │ └── mathjax.js │ │ ├── notebooks/ │ │ │ ├── AdvancedSampling.html │ │ │ ├── Bayesian.html │ │ │ ├── ClassicalPhysics.html │ │ │ ├── Diagrams.html │ │ │ ├── Functional_PPLs.html │ │ │ ├── Histogram.html │ │ │ ├── Introduction.html │ │ │ ├── Ising.html │ │ │ ├── Lazy.html │ │ │ ├── Lenses.html │ │ │ ├── MCMC.html │ │ │ ├── Parsing.html │ │ │ ├── RealTimeInference.html │ │ │ ├── SMC.html │ │ │ ├── Sampling.html │ │ │ └── Streaming.html │ │ ├── probprog.md │ │ ├── tutorials.md │ │ └── usage.md │ ├── mkdocs.yml │ ├── netlify.toml │ ├── requirements.txt │ └── runtime.txt ├── flake.nix ├── kernels/ │ └── haskell.nix ├── models/ │ ├── BetaBin.hs │ ├── ConjugatePriors.hs │ ├── Dice.hs │ ├── HMM.hs │ ├── Helper.hs │ ├── LDA.hs │ ├── LogReg.hs │ ├── NestedInference.hs │ ├── NonlinearSSM/ │ │ └── Algorithms.hs │ ├── NonlinearSSM.hs │ ├── Sprinkler.hs │ └── StrictlySmallerSupport.hs ├── monad-bayes.cabal ├── notebooks/ │ ├── Implementation.ipynb │ ├── _build/ │ │ └── _page/ │ │ └── Introduction/ │ │ └── html/ │ │ └── _sphinx_design_static/ │ │ └── design-tabs.js │ ├── examples/ │ │ ├── ClassicalPhysics.ipynb │ │ ├── Diagrams.ipynb │ │ ├── Histogram.ipynb │ │ ├── Ising.ipynb │ │ ├── Lenses.ipynb │ │ ├── Parsing.ipynb │ │ └── Streaming.ipynb │ ├── file.json │ ├── models/ │ │ └── LDA.ipynb │ ├── plotting.hs │ └── tutorials/ │ ├── AdvancedSampling.ipynb │ ├── Bayesian.ipynb │ ├── Introduction.ipynb │ ├── Lazy.ipynb │ ├── MCMC.ipynb │ ├── SMC.ipynb │ └── Sampling.ipynb ├── plots.py ├── profile.sh ├── regenerate_notebooks.sh ├── shell.nix ├── src/ │ ├── Control/ │ │ ├── Applicative/ │ │ │ └── List.hs │ │ └── Monad/ │ │ └── Bayes/ │ │ ├── Class.hs │ │ ├── Density/ │ │ │ ├── Free.hs │ │ │ └── State.hs │ │ ├── Enumerator.hs │ │ ├── Inference/ │ │ │ ├── Lazy/ │ │ │ │ ├── MH.hs │ │ │ │ └── WIS.hs │ │ │ ├── MCMC.hs │ │ │ ├── PMMH.hs │ │ │ ├── RMSMC.hs │ │ │ ├── SMC.hs │ │ │ ├── SMC2.hs │ │ │ └── TUI.hs │ │ ├── Integrator.hs │ │ ├── Population.hs │ │ ├── Sampler/ │ │ │ ├── Lazy.hs │ │ │ └── Strict.hs │ │ ├── Sequential/ │ │ │ └── Coroutine.hs │ │ ├── Traced/ │ │ │ ├── Basic.hs │ │ │ ├── Common.hs │ │ │ ├── Dynamic.hs │ │ │ └── Static.hs │ │ ├── Traced.hs │ │ └── Weighted.hs │ └── Math/ │ └── Integrators/ │ └── StormerVerlet.hs └── test/ ├── Spec.hs ├── TestAdvanced.hs ├── TestBenchmarks.hs ├── TestDistribution.hs ├── TestEnumerator.hs ├── TestInference.hs ├── TestIntegrator.hs ├── TestPipes.hs ├── TestPopulation.hs ├── TestSSMFixtures.hs ├── TestSampler.hs ├── TestSequential.hs ├── TestStormerVerlet.hs ├── TestWeighted.hs └── fixtures/ ├── HMM10-MH.txt ├── HMM10-RMSMC.txt ├── HMM10-SMC.txt ├── LDA10-MH.txt ├── LDA10-RMSMC.txt ├── LDA10-SMC.txt ├── LR10-MH.txt ├── LR10-RMSMC.txt ├── LR10-SMC.txt ├── SSM-PMMH.txt ├── SSM-RMSMC.txt ├── SSM-RMSMCBasic.txt ├── SSM-RMSMCDynamic.txt ├── SSM-SMC.txt └── SSM-SMC2.txt