Ligo offers a strong, static type system, the ability for users to write in PascaLIGO, CameLIGO, ReasonLIGO, or add their own syntax, and easy integration like the ability to use LIGO as a Node.js library with Truffle.
Blockchain RPC Provider. Simple and reliable API access to Tezos Blockchain
The Universe in Web3 - Data Delivered on Demand
Archetype is a domain-specific language to develop Smart Contracts on the Tezos blockchain, with a specific focus on contract verification.