arkkh

I see! I would also add that UCP isn't OSS (one of the only commercial products of Docker).

Great job, looks cool!

How does it compare with UCP ?

https://docs.docker.com/datacenter/ucp/2.2/guides/

you would just type "fstar json" instead, just like you'd type "fsharp" instead of "f#"

It means that a set of rules (generally small) governs how "cells" live or die in their universe. Conway's game of life is a cellular automaton in 2d board, with cells being either alive or dead. Woflram's automaton has a single dimension with the rules being encoded over 8 bits.

Here's some literature for Wolfram's automaton:

* https://www.wolframscience.com/nks/p24--how-do-simple-progra...

* http://blog.stephenwolfram.com/2017/06/oh-my-gosh-its-covere...

And my F# implementation:

https://github.com/msarilar/CellularAutomaton/blob/master/in...