OCaml Pro

OCaml ProTezos

https://www.ocamlpro.com

深入參與 Tezos 的開發工作。

OCaml Pro

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

Gusto Collective完成1000萬美元種子輪融資，Animoca Brands和Gaw Capital領投:5月17日消息，香港沉浸式體驗科技服務商Gusto Collective宣布完成1000萬美元Seed Plus輪融資，Animoca Brands和Gaw Capital領投，Black Pine、YCI Limited等參投。這筆資金將用于支持Gusto Collective向亞洲其他地區擴張，以及支持Web3、元宇宙和產品開發方面的發展。Gusto Collective專注于Web3市場服務、增強現實（AR）、虛擬人創作平臺和奢侈品營銷服務。本輪融資完成后，Gusto Collective自2020年啟動以來已累計籌集到2300萬美元資金。（prnewswire.com）[2022/5/17 3:22:27]

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

NFT全棧解決方案Atomic Form完成種子輪融資，Animoca Brands等參投:1月26日消息，NFT和數字媒體的全棧解決方案Atomic Form宣布完成種子輪融資，Sino Global Capital、Samsung Next、Wave Financial、Mechanism Capital、Animoca Brands、Thankyoux、Brendan Dawes、JN Silva、Parallel和Nifty Gateway聯合創始人 Duncan Cock Foster等參投。[2022/1/26 9:15:07]

Animoca Brands截至11月底持有生態項目數字資產價值158.7億美元:12月9日消息，Animoca Brands公布今年前三季度財報，預定收入約為1.4億美元，投資和數字資產收入約5.296億美元。這些數據主要來自元宇宙業務部門的貢獻，包括TheSandbox、GAMEE、REVVMotorsport、Quidd、Nway、Tower、Lympo、BlowfishStudio和Bondly。同時，屬于AnimocaBrands產品和平臺生態系統的數字資產儲備（包括REVV、SAND、TOWER和GMEE）已從2021年9月底的價值約29億美元上升至到2021年11月結束時約為159億美元，在兩個月內增長五倍多。[2021/12/9 12:59:56]

Tags：Tezos OCaml Pro