Matthias Wahl

This is a follow up on #3856 which has had a workaround applied in stdlib with #3991 The compiler is asserting due to a type with a `TypeParameter` that is...

Ponycheck: randomness with gaussian distribution

6

It would be nice to control the distribution of values returned by the Randomness class. As Randomness is not created in user code, its methods should have an additional argument...

Ponycheck: Collections generators

3

Create more generators for creating collections: - [x] Set/SetIs - [x] Map/MapIs - [ ] persistent collections

Example: ```pony Generators.u8().with(0) ``` This generator will create random `U8` values but will always include `0` as well. That is the property that is checked with this generator will definitely...

The collection Generator combinators * [`Generators.seq_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L105) * [`Generators.set_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L124) * [`Generators.set_is_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L152) * [`Generators.map_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L180) * [`Generators.map_is_of`](https://github.com/mfelsche/ponycheck/blob/3ae71ecd01e154151a9ec5535ff93d83cdec6919/ponycheck/generator.pony#L203) And any other that are implemented later should allow to create non-empty collections either via flag...

Add a Chapter on Collections

9

As a newcomer to pony (coming from java, scala, python, erlang) i would really really love to see a section about **collections** in the tutorial as this a pretty important...

Corral should support cloning git repositories via ssh

1

Currently corral clones git repositories using https. It should also be possible to clone via ssh. It should be possible, to configure how corral clones git repositories either on the...

replace usage of options with cli

10

and do the necessary refactoring. Fixes #92

Use `cli` package to define the command line instead of deprecated `options` package

1

Currently we use the deprecated [`options`](https://stdlib.ponylang.io/options--index) package. We should port stable/tack to [`cli`](https://stdlib.ponylang.io/cli--index) instead. This will resolve the problem that currently stable is unable to show a help dialogue for...

Add a command to initialize a directory from a project template

1

We currently have some kind of template for setting up a new project: https://github.com/ponylang/library-project-starter but setting this up is a tiny bit cumbersome as one has to replace all variables...