Qqwy / haskell-copilot

A stream-based runtime-verification framework for generating hard real-time C code.

http://copilot-language.github.io

Geek Repo

Github PK Tool