以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > 加密 > 實驗室 > OCaml Pro

OCaml Pro

OCaml Pro

OCaml ProTezos

https://www.ocamlpro.com

深入參與 Tezos 的開發工作。
OCaml Pro

法國軟件公司 OCaml Pro,創立于 2011 年,通過使用較為正規的方法提升軟件質量。他們推廣使用快速、富有表現力、靜態類型的先進編程語言 OCaml,同時,還開發了 Alt-Ergo 等驗證工具。很長一段時間,OCaml 語言是由學者們為學者開發的。

鏈游Kingdom Raids完成75萬美元種子輪融資,Animoca Brands領投:11月11日消息,區塊鏈P2E角色扮演游戲Kingdom Raids完成75萬美元種子輪融資,Animoca Brands領投,Kingsway Capital參投。融資資金將用于Kingdom Raids的發展和擴張。Kingdom Raids還表示,Animoca Brands執行主席兼聯合創始人Yat Siu已擔任項目顧問。[2021/11/11 21:43:51]

自 2014 年以來,OCaml Pro 深入參與 Tezos 的開發工作,并幫助設計 Tezos 原型。2018 年 4 以后,OCaml Pro 一直在 Tezos 基礎上為 Tezos 代碼庫工作,為發布做足準備。此外,OCaml Pro 還啟動了幾個與 Tezos 相關的項目,如 TZScan、Tezos Block Explorer 與智能合約的高級編程語言 Liquidity,使用 Why3(INRIA)與 Alt-Ergo 等做為形式化驗證的初始工具。

Animoca Brands聯合創始人:并非必然收購與區塊鏈相關的公司:區塊鏈游戲開發商Animoca Brands聯合創始人兼董事長Yat Siu接受采訪時表示:“當我們進行收購時,我們并不是在收購必然與區塊鏈相關的公司。當我們收購Excel公司時,它是一家傳統的手機游戲開發商,雖然他們有潛力,但其Sandbox游戲還沒有完全在區塊鏈上。我們收購的不僅是一個可以在區塊鏈上制作游戲的優秀團隊,還收購了已經玩過這款游戲的客戶——我們可以將這些玩家轉移過來。”

Siu強調,Animoca尋求的是那些“已經擁有大量用戶并已經開始產生收益且喜歡上產品本身”的游戲。他補充道:“通過賦予其區塊鏈技術,這些玩家將獲得額外的好處,我們認為這是非常強大的”。(Cointelegraph)[2020/8/12]

動態 | Animoca獲得授權,可發布Atari手機游戲區塊鏈版本:據CCN報道,知名游戲制造商Atari宣布與Animoca子公司Animoca Brands Limited達成許可協議,授權其在大多數地區制作和發布Atari手機游戲產品Roller Coin Tycoon Touch和Goon Squad的區塊鏈版本,不包括中國大陸、香港、臺灣和澳門。[2018/12/19]

Tags:TezosOCaml Pro

官方
  • Facebook
  • Twitter
  • Weibo
  • YouTube
OCaml Pro
時髦辦|聽說現在首飾不五花八門都戴不出門了?_COC:USH幣COC價格

有了它們,才可以在立秋的開始“sao”一把! AMBUSH 隨著KimJones入駐Dior,這個早在時尚圈紅透透的女孩Yoon再次被推上了話題的風口浪尖.

1900/1/1 0:00:00
時髦辦|聽說現在首飾不五花八門都戴不出門了?_AMB:AMB價格USH價格

有了它們,才可以在立秋的開始“sao”一把! AMBUSH 隨著KimJones入駐Dior,這個早在時尚圈紅透透的女孩Yoon再次被推上了話題的風口浪尖.

1900/1/1 0:00:00
JZL量化機構研究:Jane Street - Ocaml開發語言的堅定踐行者_Nestree:ASTROPEPE價格

概覽:Crypto頭部量化機構梳理概覽:使用小眾Ocaml語言的,做MarketMaking&Arbitrage的proptradingfirm;背景:JaneStreet由SIG的三位.

1900/1/1 0:00:00
JZL量化機構研究:Jane Street - Ocaml開發語言的堅定踐行者-ODAILY_EST:Nestree

概覽:Crypto頭部量化機構梳理 簡介與概覽 概覽:使用小眾Ocaml語言的,做MarketMaking&Arbitrage的proptradingfirm;背景:JaneStreet.

1900/1/1 0:00:00
星球日報 | Facebook發布加密貨幣項目Libra白皮書?;Tezos開發團隊OcamlPro將硬分叉 Tezos_ACE:LIBRAF

頭條 Facebook上線加密貨幣項目Libra官網,同期發布白皮書6月18日17點,Facebook加密貨幣項目Libra官網上線,同期發布了項目白皮書.

1900/1/1 0:00:00
JZL 量化機構研究:Jane Street - Ocaml 開發語言的堅定踐行者_NEST:nest幣最新

???? 概覽:Crypto頭部量化機構分布???????????? 概覽:Crypto頭部量化機構梳理???????????? 簡介與概覽 概覽:使用小眾OCaml語言的.

1900/1/1 0:00:00
ads