C copilot-language.github.io Copilot: Realtime programming language and runtime verification framework 145 points ducktective 4 years ago 63 comments
