Great job, looks cool!

How does it compare with UCP ?

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

Thanks a lot :)

Captain to UCP is like a Honda Civic to a Ferrari :P Surely I would use UCP for an Enterprise grade if i have the money for learning investment, management and all the "enterprisy" cost that comes with it. Captain is written by a one bored guy on weekends in 3 months. UCP is written by a solid Enterprise.

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

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...