搜索

Contracts for Java

0粉丝
Google宣布 了一个新的开源 Java 工具 Contracts for Java，基于 Johannes Rieken 制作的 Modern J
知识
简介
Google宣布 了一个新的开源 Java 工具 Contracts for Java，基于 Johannes Rieken 制作的 Modern Jass，灵感来自 Eiffel 编程语言，由两名 Google 工程师 David Morgan 和 Andreas Leitner 利用自己的20%... 更多
其它信息
地区
不详
开发语言
Java
开源组织
无
所属分类
程序开发、 其他开发相关
授权协议
LGPL
操作系统
跨平台
收录时间
2023-10-01
软件类型
开源软件
适用人群
未知

时光轴

里程碑1
LOG0
2023
2023-10
轻识收录
打卡
我要打卡
我要打卡
评价
0.0（满分 10 分）0 个评分
什么是点评分
图片
表情
全部评价( 0)
推荐率 100%
推荐
Contracts for Java
Google宣布 了一个新的开源 Java 工具 Contracts for Java，基于 Joh
Contracts for Java
0
yearn-protocolYearn smart contracts
YearnProtocolYearnProtocolisasetofEthereumSmartContractsfocusedoncreatingasimplewaytogeneratehighris
yearn-protocolYearn smart contracts
0
yearn-protocolYearn smart contracts
yearn-protocolYearn smart contracts
0
colonyNetworkColony Network smart contracts
TheColonyNetworkContractsforrunningtheColonyNetworkasdefinedintheColonyWhitePaperBugBountyProgramCol
colonyNetworkColony Network smart contracts
0
colonyNetworkColony Network smart contracts
colonyNetworkColony Network smart contracts
0
synthetixSynthetix Solidity smart contracts
SynthetixSynthetixisacrypto-backedsyntheticassetplatform.Itisamulti-tokensystem,poweredbySNX,theSynt
synthetixSynthetix Solidity smart contracts
0
synthetixSynthetix Solidity smart contracts
SynthetixSynthetix is a crypto-backed synthetic as
synthetixSynthetix Solidity smart contracts
0
oyenteAn Analysis Tool for Smart Contracts
OyenteAnAnalysisToolforSmartContractsThisrepositoryiscurrentlymaintainedbyXiaoLiangYu(@yxliang01).If
oyenteAn Analysis Tool for Smart Contracts
0
oyenteAn Analysis Tool for Smart Contracts
OyenteAn Analysis Tool for Smart ContractsThis rep
oyenteAn Analysis Tool for Smart Contracts
0
Java
Java
0