Analytic sampler framework for algebraic data types
Go to file
2022-02-07 21:33:32 +01:00
benchmark/BinTree Evaluate to normal form in benchmarks. 2022-01-29 19:53:55 +01:00
profile/BinTree Profile executable. 2022-02-07 21:33:32 +01:00
src/Data Rename Sampler.Utils to Sampler.TH 2022-01-23 19:55:17 +01:00
test Rename Sampler.Utils to Sampler.TH 2022-01-23 19:55:17 +01:00
.gitignore Initial commit 2022-01-12 16:47:07 +01:00
fourmolu.yaml Enable fourmolu code formatter 2022-01-23 14:13:59 +01:00
generic-boltzmann-brain.cabal Profile executable. 2022-02-07 21:33:32 +01:00
hie.yaml Initial benchmark for BinTree. 2022-01-14 16:10:03 +01:00
LICENSE Initial commit 2022-01-12 16:47:07 +01:00
package.yaml Profile executable. 2022-02-07 21:33:32 +01:00
README.md Minimal, initial README. 2022-01-12 16:57:38 +01:00
Setup.hs Initial commit 2022-01-12 16:47:07 +01:00
stack.yaml Initial benchmark for BinTree. 2022-01-14 16:10:03 +01:00
stack.yaml.lock Initial benchmark for BinTree. 2022-01-14 16:10:03 +01:00

generic-boltzmann-brain

Generic-boltzmann-brain is a framework which allows one to automatically derive multiparametric analytic (Boltzmann) samplers for algebraic data types in Haskell. As such, generic-boltzmann-brain is a twin project of Boltzmann-brain.

Please bear in mind that the current project is still under active development. Usage instractions, documentation, and tooling will be delivered in the near future. In the meantime, you're welcome to explore the current codebase for yourself.