IntersectMBO/plutus
View on GitHub ↗ ★ 1,633 Haskell
The Plutus language implementation and tools
4 mentions on Hacker News by 3 people: 0 stories, 4 comments · first 2020-06-09 · latest 2022-02-01
20082026
-
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-legac…
comment by exdsq · 2022-02-01 · in Software Development Languages: Haskell -
…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/
comment by xvilka · 2021-09-23 · in It costs $436 to deploy a smartcontract on Ethereum -
…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...
comment by xvilka · 2021-02-09 · in Decentralized Finance: On Blockchain- and Smart Contract-Based Financial Markets -
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…
comment by rudolph9 · 2020-06-09 · in Container technologies at Coinbase: Why Kubernetes is not part of our stack