JUV:Juvix_ORG

网址:https://juvix.org

更文明、优雅的开发语言。

Juvix 将高级前端语法、相依线性类型的核心语言、优化系统、可后端交换的执行模型等综合到统一的堆栈中,以编写可正式验证、可高效执行的智能合约。

其旨在解决尝试编写和部署去中心化应用时遇到的问题,借鉴并致力于在程序语言设计和类型理论方面积累大量的先前学术研究成果。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

大币网

开发ORG:OpenNetSys_Ember Lumen

网址: https://opennetsys.com 为 Web 3.0 构建开放式网络系统。OpenNetSys 为 Web 3.0 构建开放式网络系统,从前他们叫做 C3 实验室.

[0:0ms0-0:418ms