Analytic sampler framework for algebraic data types
Go to file
2022-03-31 19:35:01 +02:00
api/Data Rename src to api 2022-03-31 19:35:01 +02:00
internal/Data/Boltzmann Test that list synonym samplers respect size constraints 2022-03-30 18:36:16 +02:00
test Test synonym sampler outcome distribution 2022-03-30 18:43:51 +02: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 Rename src to api 2022-03-31 19:35:01 +02:00
hie.yaml Sampler size tests. 2022-03-27 21:01:33 +02:00
LICENSE Initial commit 2022-01-12 16:47:07 +01:00
package.yaml Rename src to api 2022-03-31 19:35:01 +02: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.