OCaml Pro

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

深入参与 Tezos 的开发工作。

东方汇理首席投资官:比特币等加密货币是一场“闹剧”:东方汇理(Amundi)首席投资官Pascal Blanque周四表示,比特币等加密货币是一场“闹剧”,是金融市场泡沫形成的征兆。Blanque还表示,对投资者来说,增加对人民币的敞口比分散投资加密货币更为重要。(路透社)[2021/6/3 23:09:05]

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

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

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

金智博客

USDCChainSecurity

关于智能合约的首个代码审计平台。 ChainSecurity概述, ChainSecurity信息, ChainSecurity区块链, ChainSecurity维基, ChainSecurity社交, ChainSecurity Medium, ChainSecurity ICO, ChainSecurity回顾, ChainSecurity快讯, ChainSecurity追踪

币安下载Lunagram

Lunamint 开发的 Telegram 内置 Cosmos 钱包。 Lunagram概述, Lunagram信息, Lunagram区块链, Lunagram维基, Lunagram社交, Lunagram Medium, Lunagram ICO, Lunagram回顾, Lunagram快讯, Lunagram追踪

BNBEverdreamSoft

从事手机游戏和应用程序的开发。 EverdreamSoft概述, EverdreamSoft信息, EverdreamSoft区块链, EverdreamSoft维基, EverdreamSoft社交, EverdreamSoft Medium, EverdreamSoft ICO, EverdreamSoft回顾, EverdreamSoft快讯, EverdreamSoft追踪

FilecoinNew Internet Labs

保护用户的数据隐私。 New Internet Labs概述, New Internet Labs信息, New Internet Labs区块链, New Internet Labs维基, New Internet Labs社交, New Internet Labs Medium, New Internet Labs ICO, New Internet Labs回顾, New Internet

[0:0ms0-7:142ms