Live data from Hacker News

A language that supercedes C, but with a borrow-checker

news.ycombinator.com

1–3 of 3 posts

Re: A language that supercedes C, but with a borrow-checker

#3
post #2

May be this is what you are looking for: https://vale.dev/

Thank you! That is definitely an interesting language. However, it seems like development has stopped. The GitHub page says: "Note: For personal reasons, I'm on an extended break from the coding side of Vale, feel free to DM me on discord for details. - Evan Ovadia"