Archetype

Archetype is a domain-specific language to develop Smart Contracts on the Tezos blockchain, with a specific focus on contract verification.

[Archetype @archetype_lang]

We are glad to present the new contract binding generation in TypeScript language. We consider this as a major improvement in the way we are working with Archetype and Michelson contracts. More information: https://t.co/lY36Q5LBOR

[Tezos @tezos]

.@archetype_lang is a high-level language for developing smart contracts on #Tezos. With its exclusive features (new types, state machine design, etc.), #Archetype helps ease development, tests, and formal verification, focusing on contract security.

https://t.co/N68CHfqgri

[Archetype @archetype_lang]

@m88ache Working on it. Join us on Tezos dev slack and we'll be happy to solve your issue. https://t.co/s2f2KA5ixb

[Archetype @archetype_lang]

@TezoTrooperz Thank you @TezoTrooperz! very glad to assist you in this great project!

[Rarible API @raribleprotocol]

Big news! 🚀 Rarible Protocol can now be deployed on @tezos - sustainable blockchain with low fees and strong NFT community. 100% open source.
Thanks to the Tezos community who made the integration possible. Stay tuned for more updates, and start building on Tezos now!

[Nomadic Labs @LabosNomades]

@subtrack_music @tezos 1️⃣@subtrack_music is a community platform built for securely collecting #music in rare collector packages, built in collaboration with @archetype_lang.

[Archetype @archetype_lang]

@wsbpunks @jeandanieladri https://t.co/hoe9xXpYfU

[Archetype @archetype_lang]

Thank you @RealCryptoEasy! Very excited to contribute to the future of #DeFi on @Tezos!

[Divercefi @divercefi]

Excited to announce our technical #partnership with Completium https://t.co/OI8hqMY7O8 !!

They will help us to develop our $EASY token #Smartcontract on #Tezos!
Their engineers are the #founders of #Archetype language https://t.co/JFWx7RoWpO

#Successful first tests already! 🚀

[Archetype @archetype_lang]

Thank you @werenode! Great project, so exciting to contribute to the future of EV charging!

[Werenode @werenode]

Werenode is quoted as third reference example for Tezos DApps on BlockchainAppfactory!
Great thanks to them and to Archetype, our chosen smart contract high-level development language. #Tezos #EVcharging #Werenode #Archetype
https://t.co/XMslJeP36M

[Archetype @archetype_lang]

Learn to build a DApp on Tezos in minutes. Article below. https://t.co/Ck5CFnRXPJ #tezos #dapp #completium

[Archetype @archetype_lang]

EV charging powered by Archetype smart contracts! #tezos #blockchain #ElectricVehicles

[Werenode @werenode]

Werenode's Tezos smart contracts go mainnet https://t.co/sbC3I01j3V
#Tezos #ElectricVehicle #chargingstation #smartcontract

[Archetype @archetype_lang]

Verified implementation of FA 1.2 with Archetype. Article below. https://t.co/8GRPuM08yP #tezos #archertype #formalverification

[Archetype @archetype_lang]

Archetype 1.1 and FA 1.2 contract. Post below.
https://t.co/JVAjXQBLdw

[Archetype @archetype_lang]

How to verify an existing #Tezos smart contract with Archetype? Post below. https://t.co/rGSxJLzNgv

[Archetype @archetype_lang]

@claudebarde Hi Claude, fun pic! 😄 try the language section in the doc https://t.co/Lp4TAXeKiC. do not hesitate if any questions.

[Archetype @archetype_lang]

We’re excited to release Archetype 1.0! Take control and secure your #Tezos smart contracts with Archetype. Full announcement below. https://t.co/Cq0pSCbj45

[LigoLANG @LigoLang]

Our regular update on #Tezos smart contract languages! https://t.co/SLqfCm8AJX
@SmartPy_io @dailambda @archetype_lang @LigoLang

[Archetype @archetype_lang]

@alexandranope Hi, indeed the smart py transcoder is still in alpha. It will be available in V1 (coming next month). In meanwhile you can try the Ligo transcoder which is more advanced and you can contact us for specific needs ([email protected]); we'll will be glad to assist you.

[LigoLANG @LigoLang]

Our regular update on #Tezos smart contract languages, including new sections on SCaml and Archetype!
https://t.co/TOopxKgPaP
@SmartPy_io @dailambda @archetype_lang

[Archetype @archetype_lang]

@jdsika good question. Indeed using such infrastructure to register in the Dapp is a good idea. Regarding using Tezos as Layer1, I don't know. Isn't Hyperledger Indy working only with permissioned ledgers?

[Archetype @archetype_lang]

I just published "Developing a Dapp on Tezos" https://t.co/USK7QRkI2c