Just the other day the Plutus repo got updated with 4 example smart contracts:
Futures
Crowd Funding
Swaps
Vesting
I believe these are the first contracts/piece of code that IOHK has put out of Plutus which leads me to speculate that most of Plutus Core development has already been finished.
I imagine it’ll get cleaned up a bit eventually with all the imports/pragmas front-facing at the moment, but nonetheless for those use to Haskell it all seems to be reasonably readable. Fun stuff
It’s easier than people make it out to be. Just needs a little time and effort and Haskell isn’t that bad. Try getting into the dependently typed world of Coq/Idris/Lean/etc afterwards, makes the whole functional paradigm even more fun.