CompCert 3.15

[mio-19]

I discovered CompCert in this repository, but it hasn't been updated in a while

[paperchalice]

Sorry for the very late reply...
I would recommend you create your own tap (use brew tap-new) to avoid compcert license issue, because this tap is only for my personal use and README of compcert said:

This non-commercial release can only be used for evaluation, research, educational and personal purposes.

Anyway, feel free to copy formulae code here, if you are interested in some of them. 😉