>or know of any large cleany written codebases from which to study? * unison (a great file sync tool for win/posix from Benjamin Pierce, the author of Software

>or know of any large cleany written codebases from which to study? * unison (a great file sync tool for win/posix from Benjamin Pierce, the author of Software foundations and TAPL) https://github.com/bcpierce00/unison https://github.com/bcpierce00/unison * mirage (which also has a bunch of interesting subprojects, like irmin) https://github.com/mirage https://github.com/mirage * coq https://github.com/coq/coq https://github.com/coq/coq * flow https://github.com/facebook/flow https://github.com/facebook/flow * CompCert https://github.com/AbsInt/CompCert https://github.com/AbsInt/CompCert * frama-c https://github.com/Frama-C https://github.com/Frama-C * 0install https://github.com/0install/0install https://github.com/0install/0install