plutus

Blockchain - two repos with specs are: * https://github.com/input-output-hk/cardano-ledger * https://github.com/input-output-hk/plutus There's quite a few recent Isabelle repos such as https://github.com/input-output-hk/high-assurance-legacy

This is why Cardano[1] might be interesting with their Plutus [2] and Marlowe[3] languages. [1] https://cardano.org/ [2] https://github.com/input-output-hk/plutus [3] https://alpha.marlowe.iohkdev.io/

They are almost there with Plutus[1][2] and Marlowe[3]. [1] https://docs.cardano.org/projects/plutus/en/latest/ [2] https://github.com/input-output-hk/plutus [3] https://docs.cardano.org/en/latest/marlowe/marlowe-explainer...

Here is a decent example of a docker image being created from nixPkgs https://github.com/input-output-hk/plutus#how-to-run-a-local... Another advantage is a unified development environment as I can run the server in the container or directly on host machine in an isolated nix-shell. Yet another advantage, is unlike the layer of a docker container, isolated dependencies are isolated and linked so packages link together based on a hash-address/path of a dependency in the nix store so there is no need to worry about order of steps but rather what depends on what making the cache misses in a nix-store vs a docker layer more efficient. For example if the first step in a Dockerfile needs to be changed all proceeding steps need to be rebuilt where as if a dependency in a nix file say paython-2 to python-3, every package that depends on python ju