OCaml Pro

OCaml Pro

La empresa de software francesa OCaml Pro, fundada en 2011, mejora la calidad del software mediante el uso de métodos más formales. Popularizaron el uso de OCaml, un lenguaje de programación avanzado rápido, expresivo y tipificado estáticamente, y desarrollaron herramientas de verificación como Alt-Ergo. Durante mucho tiempo, el lenguaje OCaml fue desarrollado por académicos para académicos.

Animoca Brands anuncia la dirección de la billetera que respalda el Fondo de recuperación de la industria de Binance: Jinse Finance informó que Animoca Brands publicó en las redes sociales que, para ayudar a los desarrolladores de Web3 durante el período difícil, había prometido anteriormente apoyar el Fondo de recuperación de la industria de Binance y apoyó públicamente el fund Dirección de billetera pública: 0xE6e3e3526336Ba2DAF0B37B9C516f52E4Af2ef1a. [2022/12/1 21:14:39]

OCaml Pro ha estado profundamente involucrado en el desarrollo de Tezos desde 2014 y ayudó a diseñar el prototipo de Tezos. Desde abril de 2018, OCaml Pro ha estado trabajando sobre Tezos para el código base de Tezos en preparación para el lanzamiento. Además, OCaml Pro también ha lanzado varios proyectos relacionados con Tezos, como TZScan, Tezos Block Explorer y Liquidity, un lenguaje de programación de alto nivel para contratos inteligentes, utilizando Why3 (INRIA) y Alt-Ergo como herramientas iniciales para la verificación formal. .

Animoca Brands completa la adquisición de la agencia de marketing digital Web3 Be Media: el 17 de agosto, Animoca Brands anunció la finalización de la adquisición de la agencia de marketing digital Web3 Be Media. Be Media fue fundada en 2013 por el empresario Jordan Fogarty. Animoca Brands declaró anteriormente que después de la adquisición, Be Media ayudará a Animoca Brands a establecer asociaciones con las principales marcas australianas. [2022/8/17 12:30:56]

Wombat Exchange completa US$5,25 millones en financiamiento Serie A, liderado por Animoca Brands: El 17 de marzo, el intercambio de monedas estables de múltiples cadenas Wombat Exchange anunció la finalización de US$5,25 millones en financiamiento Serie A, con una valoración posterior a la inversión de US$70 millones . Esta ronda de financiación estuvo liderada por Animoca Brands y Hailstone Ventures, con la participación de BNB Chain, TPS Capital, GSR, Zokyo, Lunar Station, Eureka Trading, Silverstone, Unanimous Capital y CryptoWesearch. Los fondos de esta ronda de financiación se utilizarán para acelerar los planes de expansión y desarrollo de productos de Wombat. [2022/3/17 14:02:14]

Tags：OCaml ProTezos

oficial

• 

  Facebook

• 

  Twitter

• 

  Weibo

• 

  YouTube