今日推荐开源项目：《算法可视化：Algorithm Visualizer 》；今日推荐英文原文：《 The c…
智能合约的形式化验证是在每个计算机上执行的，如果某人已经对合约进行形式化验证，那么当前用户是无法在不执行形式化…
2018年7月9日：开源日报第123期；今日推荐开源项目：《百日P Python-100-Days》；今日推荐…
2018年6月29日：开源日报第113期；今日推荐开源项目：《用 Vue.js 写个桌面应用 Vuido》；今…
