>>105565545
https://softwarefoundations.cis.upenn.edu
Don't know if it's good though I'm barely starting it myself