Analytic sampler framework for algebraic data types
Go to file
2022-01-12 21:27:17 +01:00
src/Data Lambda list sampler tests. 2022-01-12 20:22:11 +01:00
test Specification unit tests: collectTypes and getWeight 2022-01-12 21:27:17 +01:00
.gitignore Initial commit 2022-01-12 16:47:07 +01:00
generic-boltzmann-brain.cabal Initial commit 2022-01-12 16:47:07 +01:00
hie.yaml Initial commit 2022-01-12 16:47:07 +01:00
LICENSE Initial commit 2022-01-12 16:47:07 +01:00
package.yaml Initial commit 2022-01-12 16:47:07 +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 commit 2022-01-12 16:47:07 +01:00
stack.yaml.lock Initial commit 2022-01-12 16:47:07 +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.