plutus experimental smart contracts:Plutus中的实验性智能合约源码

reunite1952 38 0 ZIP 2021-02-06 16:02:26

plutus-experimental-smart-contracts:Plutus中的实验性智能合约

文件列表

plutus-experimental-smart-contracts-master.zip (预估有个27文件)

plutus-experimental-smart-contracts-master

.gitignore 135B

formalSpec

contractSpec.mcrl2.pbes 4KB

contractSpec.mcrl2.lts 2KB

README.md 764B

contractSpec.mcrl2.lps 2KB

properties

testProp.mcf 67B

stateSpaceImage.png 46KB

contractSpec.mcrl2 2KB

contractSpec.mcrl2.pbes.evidence.lts 2KB

Simple

simpWallet.hs 1KB

customizedWallet.hs 2KB

LICENSE.md 1KB

Games

Jellybean

4-Doing-The-Equality-Check.hs 1KB

8-Adding-Input-Error-Checks.hs 2KB

6-Hashing-The-Winning-Number.hs 2KB

5-Watching-The-SC-Address.hs 1KB

3-Adding-The-Ability-To-Guess.hs 870B

README.md 1KB

2-Locking-The-Winning-Number.hs 778B

1-Creating-An-Empty-SC.hs 510B

7-End-Game-After-10-Blocks.hs 2KB

majorityTakesAll

majorityTakesAll.hs 3KB

naiveLottery

README.md 709B

naiveLottery.hs 1KB

README.md 542B

Lessons

WritingYourFirstPlutusSmartContract

contract.hs 1KB

README.md 120B

用户评论

暂无评论

loader来自Userland的ESM的高度实验性加载源码

hackable-loader 这是一个实验。没有人应该在生产中运行此程序。设计约束,按重要性顺序排列: 独立于节点核心的实现。符合规范。最大浏览器兼容性。易于在现有应用程序中使用。与已经

9 2021-05-05
vglist frontend vglist的仅限Vue的实验性前端源码

vglist前端一个完全在Vue中为制作的实验性前端。项目设置用yarn install安装依赖项。使用git clone https://github.com/connorshea/vgli

5 2021-05-09
Plasma Scalable Autonomous Smart Contracts.pdf

Plasma is a proposed framework for incentivized and enforced execution of smart contracts which is s

12 2020-07-17
Building Games with Ethereum Smart Contracts2018

What You’ll Learn Use various features and best practices for smart contract programming in Ethereum

44 2019-01-02
jswallet Electron加React.js中的实验性比特币钱包源码

JSWallet 这是我的的同伴。它不是生产代码,仅应用于教育性的人偶。目前看来,testnet正在经历大量流量,这使得该网络几乎无法使用。水龙头关闭,交易卡住了。我们都必须等待一段时间。安

8 2021-02-23
jena rules wip耶拿规则实验性源码

实验原型。

5 2021-05-05
spasm实验性多目标汇编器源码

痉挛一个实验性的多目标汇编器汇编器。预备器预准备器的功能是提供许多生活质量功能,这些功能以前是在单个后端中引入的。这些包括: 原点和字节偏移常数尺码标签评论解析该功能集从一开始就很小,

4 2021-05-04
js elements实验性小型Web组件库源码

js元素一个研发项目,用于评估组件自定义元素的替代方法。免责声明: 项目尚处于早期状态......顺便说一句:目前,它不打算在生产中使用。例子例子1 import { define , h ,

9 2021-04-04
Typewritergoblin.github.io实验性HTML页面源码

dnd5e-quickref Icara 5E Homebrew快速参考表资料来源所有图标均由从派生的原始代码提供。这包括基本5E游戏的状态,如果您需要真实的规则,请去那里。

3 2021-02-24
pierogi一种实验性编程语言源码

pierogi:一种实验性编程语言

6 2021-02-23

plutus experimental smart contracts:Plutus中的实验性智能合约 源码

文件列表

用户评论

推荐下载

plutus experimental smart contracts:Plutus中的实验性智能合约源码