copilot
copilot copied to clipboard
Copilot-Language
A stream-based runtime-verification framework for generating hard real-time C code.
Results
53
copilot issues
Sort by
recently updated
recently updated
newest added
HLS besides GHC and hlint also uses [stan](https://hackage.haskell.org/package/stan) tool to improve code quality. In review of #688 I realized that variable name `_` is ok and the corresponding stan check...
Metadata
600
Stars
47
Forks
Watchers
Owner
Metadata
A stream-based runtime-verification framework for generating hard real-time C code.