maciej-bendkowski/generic-boltzmann-brain
1
1
Fork 0
mirror of https://github.com/maciej-bendkowski/generic-boltzmann-brain.git synced 2024-08-17 08:30:30 +03:00
Code Issues Projects Releases Wiki Activity
95 Commits 1 Branch 1 Tag 230 KiB
main
Commit Graph

95 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Maciej Bendkowski
92c605cefd Rename Utils to TH 2022-03-20 18:53:25 +01:00
Maciej Bendkowski
c0403d41bb Remove obsolete TemplateHaskell modules. 2022-03-20 18:46:43 +01:00
Maciej Bendkowski
f609f76503 New sampler generator 2022-03-20 18:35:07 +01:00
Maciej Bendkowski
9f2bc8d7ed Prototype support for newtype samplers. 2022-03-13 13:30:18 +01:00
Maciej Bendkowski
950713ce3b Restore weight in the Samplable type class 2022-03-05 21:09:58 +01:00
Maciej Bendkowski
9e17fb9024 Inlinable sample instances 2022-02-25 19:52:01 +01:00
Maciej Bendkowski
5eb9efea3e Support lists in specifications. 2022-02-24 19:47:40 +01:00
Maciej Bendkowski
a66aa915cd Add bang pattern to generated samplers 2022-02-20 19:07:14 +01:00
Maciej Bendkowski
9f769340c4 Get rid of weight type class 2022-02-20 19:02:47 +01:00
Maciej Bendkowski
07d6bc6301 Move hasAdmissibleFrequencies to the Samplable TH module. 2022-02-20 18:00:58 +01:00
Maciej Bendkowski
a7a5edaf21 Inline's and rejection sampler with tolerance 2022-02-20 17:49:53 +01:00
Maciej Bendkowski
6e6f89b5d9 Profile executable for lambda terms 2022-02-20 15:03:49 +01:00
Maciej Bendkowski
1e2938c13d Convenience mkSystemBoltzmannSampler 2022-02-20 14:26:41 +01:00
Maciej Bendkowski
60da3d5bb4 Minor naming changes ub public API 2022-02-20 13:36:41 +01:00
Maciej Bendkowski
69ad5570a5 Refine BuffonMachine and Sampler interfaces 2022-02-20 13:20:09 +01:00
Maciej Bendkowski
0a8d042eb3 Revert the idea of specifiable types 2022-02-18 19:26:20 +01:00
Maciej Bendkowski
f9507a181b Move distribution into Samplable 2022-02-15 16:24:24 +01:00
Maciej Bendkowski
e67ebd6c3a Remove specifiable and the related oracle. 2022-02-14 21:09:05 +01:00
Maciej Bendkowski
8324963ba7 Draft: Template Haskell sampler generation. 2022-02-14 20:23:45 +01:00
Maciej Bendkowski
3e34051a6f Profile executable. 2022-02-07 21:33:32 +01:00
Maciej Bendkowski
e186b51c0b Evaluate to normal form in benchmarks. 2022-01-29 19:53:55 +01:00
Maciej Bendkowski
6ed4956c34 Better benchmark for bin trees. 2022-01-29 19:25:19 +01:00
Maciej Bendkowski
66c047e070 Benchmark bulk generation of binTrees. 2022-01-25 21:22:12 +01:00
Maciej Bendkowski
52a2e5a9ba Move binTree benchmark. 2022-01-23 20:03:52 +01:00
Maciej Bendkowski
58f8ab83ba Rename Sampler.Utils to Sampler.TH 2022-01-23 19:55:17 +01:00
Maciej Bendkowski
90727a1474 Use WHNF in benchmarks. 2022-01-23 19:40:26 +01:00
Maciej Bendkowski
2924341479 Enable fourmolu code formatter 2022-01-23 14:13:59 +01:00
Maciej Bendkowski
04bfff59c9 Minimal Haddock documentation. 2022-01-14 21:39:04 +01:00
Maciej Bendkowski
35cf7afd05 Haddock documentation for Specifiable. 2022-01-14 20:42:56 +01:00
Maciej Bendkowski
6407706157 Haddock documentation for Data.BuffonMachine 2022-01-14 20:00:30 +01:00
Maciej Bendkowski
54bb7e40bc Update synopsis and category. 2022-01-14 16:59:13 +01:00
Maciej Bendkowski
6554f2640e Use benchmarks instead of executables. 2022-01-14 16:55:15 +01:00
Maciej Bendkowski
3e0408ce47 Initial benchmark for BinTree. 2022-01-14 16:10:03 +01:00
Maciej Bendkowski
797fcd458c Constructor frequency tests. 2022-01-13 21:48:35 +01:00
Maciej Bendkowski
1d867aa76e TypeSpec unit tests. 2022-01-13 21:34:06 +01:00
Maciej Bendkowski
31483a57f2 Test trivial distribution. 2022-01-13 21:12:11 +01:00
Maciej Bendkowski
78b0b88ae7 Unit tests for BuffonMachine's choice. 2022-01-13 21:03:06 +01:00
Maciej Bendkowski
1a43ed39d1 Remove weight and frequency from Specification's export list. 2022-01-13 20:02:02 +01:00
Maciej Bendkowski
696249432e Unit tests for computing frequencies. 2022-01-13 19:54:19 +01:00
Maciej Bendkowski
76dbcd9e38 Specification unit tests: collectTypes and getWeight 2022-01-12 21:27:17 +01:00
Maciej Bendkowski
105d03bace Lambda list sampler tests. 2022-01-12 20:22:11 +01:00
Maciej Bendkowski
ac4a340d47 Rename Variables to Params. 2022-01-12 18:40:11 +01:00
Maciej Bendkowski
f709e3bfe4 Introduce mkSpecSampler. 2022-01-12 18:32:23 +01:00
Maciej Bendkowski
8b7d88eb79 Minimal, initial README. 2022-01-12 16:57:38 +01:00
Maciej Bendkowski
83f4479808 Initial commit 2022-01-12 16:47:07 +01:00