Related: block, cell, chain, CityCoin, DAO, fintech, lens, solidity, Work Agreement📃, 🔏

Console.Atra.io

https://blog.slock.it/analyzing-solidity-smart-contracts-with-piet-6db33a733e79

OpenLaw.io
Law.MIT.edu
COALA.global >>Coalition of Automated Legal Applications
DAML.com >>The developer’s choice for building smart contracts

Pact.Kadena.io >>Pact is the first truly human readable smart contract language. It lets anyone write clearly, directly and safely onto a blockchain—a true advance for secure, automated contracts. Pact supports entirely new business models and on-chain services.

Smart Contracts are legal instruments written in specialized programming languages such as:
  Solidity
  Vyper  Vyper.ReadTheDocs.io  github.com/ethereum/vyper/wiki/Vyper-tools-and-resources
  Bamboo  github.com/pirapira/bamboo OCaml >>Bamboo: a morphing smart contract language
  Flint
  LLL
  Obsidian IEEEXplore.IEEE.org/document/7965268 >>Obsidian: A Safer Blockchain Programming Language
  EVM  The Ethereum Virtual Machine 'interprets' or 'executes' Solidity
  Holo - maybe not the language name
  NEO - um

==Dev tools
dapparatus
AuthIO.org >>Verify your smart contracts behave as intended.

==Security audits
Arxiv.org/pdf/1802.06038.pdf >>Finding The Greedy, Prodigal, and Suicidal Contracts at Scale

https://medium.com/authio/solidity-ctf-part-4-read-the-fine-print-5ad259a5f5bb