Clay and Clay - Two, safer languages for systems programming

OK. There's been a few C alternatives showing up on Hacker News and Lobsters. I found two more with the same name, Clay, that each had interesting properties for systems programming. It wasn't immediately clear they were different languages with me losing time discovering that as I dug up info. Hence, me experimenting with a double submission via Pastebin making it extra clear to prevent others having similar trouble. To keep discussion on them easy to follow, I suggest just naming them after year they were made: Clay2008 for Wittie's and Clay2011 for Sreeram's.

Clay - A type-safe, systems programming language (2008):
http://www.eg.bucknell.edu/~lwittie/research/Clay.pdf

Wittie's page both has the compiler prototype for Clay2008 and other interesting work including driver verification and assembly with GC:
http://www.eg.bucknell.edu/~lwittie/research.html

Clay2011 Programming Language Description:
http://claylabs.com/clay

Clay2011 Github:
https://github.com/jckarter/clay/

Clay2011 author shows up in this Reddit to answer many questions about the language. I found the comments on generics-by-default and type propagation to be most interesting. Link:
https://www.reddit.com/r/programming/comments/ctmxx/the_clay_programming_language/

Nick P. (nickpsecurity)