C! is a language that seems to have many of the same goals as C2. It looks like it was more or less abandoned a year ago, but there is a lot there.
git://git.lse.epita.fr/cbang.gitThey target many of the same things: simpler syntax, ambiguous int sizes etc. and come up with some of the same ideas and some different. I am reading through the intro docs now.
The compiler was implemented in OCaml. I do not know that yet, but hopefully I can figure out enough to follow it.
Best,
Kyle
