marlowe:用于设计加密货币智能合约的领域特定语言的原型实现源码

上传：qqsilky21871 浏览： 21 推荐： 0 文件：ZIP 大小：55.61MB 上传时间：2021-05-21 17:48:47 版权申诉

马洛该存储库包含Marlowe(一种用于描述可以由部署在区块链上的脚本强制执行的金融智能合约的领域特定语言(DSL)),以及一些用于分析和模拟以DSL编写的合约执行情况的工具。了解马洛和马洛游乐场介绍了Marlowe和Marlowe游乐场。 Marlowe的版本 master分支包含Marlowe的最新版本3.0 。马洛的早期版本的描述是在2018年的Isola这正矢量呈现为标记v1.3 ,并在此一个小更新是taggedn v1.3.1 。也可以在master分支中的semantics-1.0和semantics-2.0分别找到版本1.x和2.0 。在MacOS上构建要求:自制软件,Haskell Stack 1.6或更高版本。如果尚未安装Haskell Stack,请安装 $ brew install haskell-stack $ brew install glpk

上传资源

VeriMan用于Solidity智能合约的分析工具原型源码

威瑞曼用于Solidity智能合约的分析工具。原型。使用VeriMan,您可以使用合同的变量以及Solidity的数字和布尔运算来定义时间属性。然后,该工具对合同进行检测,以找到伪造至少一个属

2021-02-19 09:29

vyper用于EVM的Pythonic智能合约语言源码

入门请参阅以安装vyper。有关支持vyper的框架和工具的其他列表,请参见。有关Vyper语言的文档和总体设计目标,请参见。有关通过构建神奇宝贝游戏学习Vyper的信息,请参见。注意:V

2021-02-10 02:42

flint用于智能合约的Flint编程语言源码

int石编程语言 Flint是一种新型的类型安全,面向合同的编程语言,专门用于在以太坊上编写健壮的智能合同。 Flint仍处于alpha开发阶段,尚未准备好用于生产中。中型文章: 和编程2018!

2021-02-01 22:29

swap即时加密货币交换智能合约DAppSolidityGanache以太坊....源码

swap:即时加密货币交换-智能合约,DApp,Solidity,Ganache,以太坊....

2021-04-18 16:44

智能合约以太坊用于安全和实用令牌的智能合约源码

智能合约:以太坊用于安全和实用令牌的智能合约

2021-02-08 15:07

Marlowe合同用Haskell编写的Marlowe合同的集合源码

将原始文本复制并粘贴到Playground中,以测试智能合约。每个合同的顶部说明附近都有游乐场类型。

2021-05-21 17:48

ces用于加密货币交换的CLI源码

加密货币交易所壳这是什么? CES是用于购买,出售和获取有关加密货币信息的命令行界面。类似于shell的界面使您可以轻松地下订单,在不同市场之间跳转,查看历史价格等。它使用引擎盖下的提供参数自动补

2021-02-16 23:28

graphit GraphIt用于图分析的高性能领域特定语言源码

GraphIt特定于域的语言和编译器 GraphIt是高性能的Graph DSL。提供了有关该语言的更详细的教程和文档。依存关系要构建GraphIt,您需要安装。仅此依赖性将使您能够构建Gra

2021-02-01 23:05

领域特定语言

本书是DSL领域的丰碑之作，由世界级软件开发大师和软件开发“教父”Martin Fowler历时多年写作而成，ThoughtWorks中国翻译。全面详尽地讲解了各种DSL及其构造方式，揭示了与编程语言

2019-04-13 10:24

monero x Monero X–启用了智能合约的安全私有不可追溯的加密货币源码

Monero-X v0.1.0 alpha Monero-X是具有不同Genesis的Monero Github干线Hardfork,旨在使Smart Contracts在所有开发周期完成后将其移植回

2021-02-09 19:15

SumoEasyMiner最简单直观的CPU矿机用于基于加密货币的加密货币源码

相扑轻松矿工 Sumokoin.org版权所有(c)2017 最简单,直观的CPU矿工,用于基于加密货币的加密货币,例如SUMOKOIN(SUMO),Monero(XMR),Aeon(AEON)等。

2021-02-06 08:41

streamdeck crypto用于加密货币的StreamDeck插件源码

加密货币代码PRO StreamDeck插件加密货币Crypto ticker PRO是一个用于监视加密货币汇率的插件。汇率由Bitfinex实时提供。特征用纯JavaScript编写的代码

2021-02-24 20:22

合约Band Protocol的Solidity智能合约源码

波段智能合约分散数据治理协议是用于分散数据治理的协议。该存储库包含具有的Band协议的实现。我们使用作为开发环境来编译和测试智能合约。有关频带协议高级概念的更多信息,请参见。总览带协议由

2021-02-09 19:44

monticore MontiCore是用于有效开发领域特定语言的语言工作台源码

MontiCore-语言工作台和开发工具框架是用于有效开发领域特定语言(DSL)的语言工作台。它处理定义DSL的扩展语法格式,并生成用于处理DSL文档的Java组件。这些组件的示例是解析器,AST类

2021-04-19 01:22

很棒的智能合约smart很棒的智能合约平台清单源码

很棒的智能合约:smart很棒的智能合约平台清单

2021-02-07 15:40