Verification and Generation of Smart Contracts using Stainless and Scala
epfl-lara
Official Dub Typescript SDK
dubinc