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

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

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

by https://www.agrello.org/

From Three examples of blockchain smart contracts – Internet of Things, commercial paper and daos

From An Introduction to Ethereum and Smart Contracts: a Programmable Blockchain

From Enterprise Smart Contracts

From Ethereum Contract Security Techniques and Tips