Let this be a compilation of examples of Smart Contracts written in different languages. We plan to do a systematic translation to LPS (or something like it). 

## From [Scripting smart contracts for distributed ledger technology](https://eprint.iacr.org/2016/1156.pdf) ##
by Pablo Lamela Seijas, Simon Thompson Darryl McAdams {pl240,S.J.Thompson}@kent.ac.uk and darryl.mcadams@iohk.io, University of Kent, UK


## From [Making Smart Contracts Smarter](https://www.comp.nus.edu.sg/~hobor/Publications/2016/Making%20Smart%20Contracts%20Smarter.pdf) ##
by  Loi Luu, Duc-Hiep Chu, National University of Singapore
{loiluu, hiepcd}@comp.nus.edu.sg Hrishi Olicke, Yale-NUS College, hrishi.olickel@yale-nus.edu.sg, 
Prateek Saxena, National University of Singapore, prateeks@comp.nus.edu.sg, and Aquinas Hobor, Yale-NUS College
& National University of Singapore, hobor@comp.nus.edu.sg


## From [Legally Binding Smart Contracts, Powered by AI](https://www.agrello.org/?gclid=CjwKCAjwqcHLBRAqEiwA-j4AyK0P5t1wbdvUFx6EfmdHKwE79ER8JR8VSzY4ngvUPhi7q046yH7mORoCZbYQAvD_BwE) ##
by [https://www.agrello.org/](Agrello) 

## From [Three examples of blockchain smart contracts – Internet of Things, commercial paper and daos](http://www.jdsupra.com/legalnews/three-examples-of-blockchain-smart-31754/) ##


## From [An Introduction to Ethereum and Smart Contracts: a Programmable Blockchain](https://auth0.com/blog/an-introduction-to-ethereum-and-smart-contracts-part-2/) ##


## From [Enterprise Smart Contracts](https://azure.microsoft.com/en-in/blog/introducing-enterprise-smart-contracts/) ##


## From [Ethereum Contract Security Techniques and Tips](https://github.com/ConsenSys/smart-contract-best-practices#known-attacks) ##