What is Codius? Codius is an open hosting protocol. It makes it very easy to upload a program, whether you want it to run on one host or thousands. It also has ... page 
> Smart contracts are contracts with some kind of built-in enforcement. Nick Szabo gives the example of a vending machine. A vending machine physically enforces the terms of a purchase agreement. I put in the coin and the bag of chips comes out. > When assets are digital, we can use software to build smart contracts that transfer those assets according to arbitrary rules.
See
- Smart contracts page
- github/Codius