Skip to content
View fdedden's full-sized avatar

Organizations

@Copilot-Language

Block or report fdedden

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

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

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

    Haskell 659 57

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

    (DEPRECATED) A C99-backend for Copilot

    Haskell 7 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 4 5

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

    Simplified C AST that translates to language-c99

    Haskell 3 4

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

    Set of utility functions to facilitate working with language-c99

    Haskell 5 3