RISC-V state of the union: Linux, binutils, GCC, LLVM, CompCert and OCaml support! Government funded projects in India, Israel and USA!
https://www.lowrisc.org/blog/2017/11/seventh-risc-v-workshop-day-one/
It's impressive how much momentum the project is developing.
miniblog.
Related Posts
TIL that CompCert, the incredible formally verified compiler, is maintained on GitHub! https://github.com/AbsInt/CompCert (it's not FOSS, however)
Reachability and error diagnosis in LR(1) parsers https://gallium.inria.fr/~fpottier/publis/fpottier-reachability-cc2016.pdf —interesting discussion of syntax error messages, used in compcert