![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| all-of | 2018-01-26 19:54 | 157 | |
| none-of | 2018-01-26 19:54 | 163 | |
| birthday | 2018-01-26 19:54 | 165 | |
| some-of | 2018-01-26 19:54 | 206 | |
| factorial | 2018-01-26 19:54 | 252 | |
| gaussian | 2018-01-26 19:54 | 287 | |
| permutation | 2018-01-26 19:54 | 457 | |
| choose | 2018-01-26 19:54 | 476 | |
| rand-dist-perfect | 2018-01-26 19:54 | 486 | |
| weight-to-dist | 2018-01-26 19:54 | 648 | |
| expected-value | 2018-01-26 19:54 | 650 | |
| die_roll | 2018-01-26 19:54 | 696 | |
| randint | 2018-01-26 19:54 | 723 | |
| poker-deal | 2018-01-26 19:54 | 887 | |
| randfloat | 2018-01-26 19:54 | 1.0K | |
| binomial | 2018-01-26 19:54 | 1.0K | |
| rand-dist-weighted | 2018-01-26 19:54 | 1.2K | |
| poker | 2018-01-26 19:54 | 2.0K | |
| randbigint | 2018-01-26 19:54 | 2.9K | |
| distributions | 2018-01-26 19:54 | 5.2K | |