Pinned Loading

1. Copilot-Language/copilot Copilot-Language/copilot Public

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

   Haskell 839 82

2. Copilot-Language/copilot-c99 Copilot-Language/copilot-c99 Public archive

   (DEPRECATED) A C99-backend for Copilot

   Haskell 8 2

3. language-c99 language-c99 Public

   Implementation of C99's AST and pretty printer in Haskell, strictly following www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf

   Haskell 5 5

4. language-c99-simple language-c99-simple Public

   Simplified C AST that translates to language-c99

   Haskell 4 4

5. language-c99-util language-c99-util Public

   Set of utility functions to facilitate working with language-c99

   Haskell 6 3