Analytic sampler framework for algebraic data types
Go to file
2022-01-13 21:34:06 +01:00
src/Data TypeSpec unit tests. 2022-01-13 21:34:06 +01:00
test TypeSpec unit tests. 2022-01-13 21:34:06 +01:00
.gitignore Initial commit 2022-01-12 16:47:07 +01:00
generic-boltzmann-brain.cabal Unit tests for BuffonMachine's choice. 2022-01-13 21:03:06 +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.