OCaml Pro

网址:https://www.ocamlpro.com

深入参与 Tezos 的开发工作。

法国软件公司 OCaml Pro,创立于 2011 年,通过使用较为正规的方法提升软件质量。他们推广使用快速、富有表现力、静态类型的先进编程语言 OCaml,同时,还开发了 Alt-Ergo 等验证工具。很长一段时间,OCaml 语言是由学者们为学者开发的。

数字艺术家Beeple推特账户疑似遭遇黑客攻击,置顶钓鱼链接:5月22日消息,数字艺术家 Beeple 推特账户疑似遭遇黑客攻击,置顶推文中的抽奖链接为钓鱼链接,目前推文评论功能已关闭。[2022/5/22 3:34:07]

自 2014 年以来,OCaml Pro 深入参与 Tezos 的开发工作,并帮助设计 Tezos 原型。2018 年 4 以后,OCaml Pro 一直在 Tezos 基础上为 Tezos 代码库工作,为发布做足准备。此外,OCaml Pro 还启动了几个与 Tezos 相关的项目,如 TZScan、Tezos Block Explorer 与智能合约的高级编程语言 Liquidity,使用 Why3(INRIA)与 Alt-Ergo 等做为形式化验证的初始工具。

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

链分享

ICPiqlusion

加速加密融资。 iqlusion概述, iqlusion信息, iqlusion区块链, iqlusion维基, iqlusion社交, iqlusion Medium, iqlusion ICO, iqlusion回顾, iqlusion快讯, iqlusion追踪

区块链FINBOOK

基于区块链的资产管理服务平台。 FINBOOK概述, FINBOOK信息, FINBOOK区块链, FINBOOK维基, FINBOOK社交, FINBOOK Medium, FINBOOK ICO, FINBOOK回顾, FINBOOK快讯, FINBOOK追踪

区块链Jelurida

思考区块链,体验区块链。 Jelurida概述, Jelurida信息, Jelurida区块链, Jelurida维基, Jelurida社交, Jelurida Medium, Jelurida ICO, Jelurida回顾, Jelurida快讯, Jelurida追踪

币安app下载Larva Labs

John Watkinson 与 Matt Hall 共同创办的手游开发公司。 Larva Labs概述, Larva Labs信息, Larva Labs区块链, Larva Labs维基, Larva Labs社交, Larva Labs Medium, Larva Labs ICO, Larva Labs回顾, Larva Labs快讯, Larva Labs追踪

[0:15ms0-0:343ms