- https://github.com/hypotext/software-foundations
- https://github.com/haklabbeograd/software-foundations-coq-workshop
- https://github.com/lkuper/software-foundations
- https://github.com/co-dan/software-foundations
- https://github.com/timjb/software-foundations
- https://github.com/Blaisorblade/Software-Foundations
- https://github.com/lunaryorn/exercises
- https://github.com/joshcough/software-foundations
- https://github.com/sfja/sfja (very weeabooful)
- https://github.com/edgemaster/software-foundations
- https://github.com/jwiegley/software-foundations
- https://github.com/fthomas/software-foundations
- https://github.com/sidkshatriya/software-foundations
- https://github.com/pjstadig/software-foundations
- https://github.com/chrisbarrett/software-foundations
- https://github.com/ghulette/coq-software-foundations
- https://github.com/tymmym/software-foundations
- https://github.com/tianyicui/software-foundations
- https://github.com/Blaisorblade/Software-Foundations
- https://github.com/sven--/Software-Foundations
- https://github.com/etosch/software_foundations
- https://github.com/elfi/sf (use january/14 version)
- https://github.com/sidkshatriya/software-foundations
- https://github.com/bennofs/software-foundations
Not so useful yet but still related
- https://github.com/leroux/software-foundations
- https://github.com/sftypes/software-foundations
- https://github.com/vladoovtcharov/Software-Foundations-Solutions
- https://github.com/chrisbarrett/software-foundations
- https://github.com/markus-kusano/software-foundations
- https://github.com/bhuber/Software-Foundations
- https://github.com/ehamberg/software-foundations-md
- https://github.com/mkolosick/Software-Foundations-Exercises
- https://github.com/domdere/software-foundations-coq
- https://github.com/dyba/software-foundations
- https://github.com/brianchenming/software
- https://github.com/oconnor0/learn-coq
- https://github.com/ymn/sf-notes
- https://github.com/sean-bennett112/Software-Foundations
- https://github.com/panx/SF