Skip to content
@Copilot-Language

Copilot Language

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

Pinned Loading

  1. copilot copilot Public

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

    Haskell 618 49

  2. copilot-verifier copilot-verifier Public

    System for verifying the correctness of generated Copilot programs

    Haskell 14 1

  3. copilot-bluespec copilot-bluespec Public

    A Copilot backend for generating Bluespec code suitable for FPGAs.

    Haskell 2

  4. copilot-language.github.io copilot-language.github.io Public

    Repository containing the Copilot website

    CSS 4 1

  5. copilot-discussion copilot-discussion Public

    Repository containg reports and documentation on Copilot

    TeX 14 1

Repositories

Showing 10 of 18 repositories
  • copilot Public

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

    Copilot-Language/copilot’s past year of commit activity
    Haskell 618 49 14 2 Updated Jun 12, 2024
  • copilot-verifier Public

    System for verifying the correctness of generated Copilot programs

    Copilot-Language/copilot-verifier’s past year of commit activity
    Haskell 14 1 6 0 Updated May 17, 2024
  • copilot-bluespec Public

    A Copilot backend for generating Bluespec code suitable for FPGAs.

    Copilot-Language/copilot-bluespec’s past year of commit activity
    Haskell 2 0 2 0 Updated May 10, 2024
  • copilot-language.github.io Public

    Repository containing the Copilot website

    Copilot-Language/copilot-language.github.io’s past year of commit activity
    CSS 4 BSD-3-Clause 1 1 1 Updated Mar 8, 2024
  • homebrew-core Public
    Copilot-Language/homebrew-core’s past year of commit activity
    Ruby 0 0 0 0 Updated Jan 2, 2024
  • copilot-rust Public

    Rust backend for Copilot

    Copilot-Language/copilot-rust’s past year of commit activity
    Haskell 1 1 0 0 Updated Dec 23, 2023
  • copilot-discussion Public

    Repository containg reports and documentation on Copilot

    Copilot-Language/copilot-discussion’s past year of commit activity
    TeX 14 1 2 1 Updated Sep 11, 2023
  • copilot-c99 Public archive

    (DEPRECATED) A C99-backend for Copilot

    Copilot-Language/copilot-c99’s past year of commit activity
    Haskell 7 2 0 0 Updated Mar 29, 2021
  • copilot-core Public archive

    (DEPRECATED) Intermediate representation for Copilot.

    Copilot-Language/copilot-core’s past year of commit activity
    Haskell 5 2 0 0 Updated Mar 29, 2021
  • copilot-language Public archive

    (DEPRECATED) Front-end of Copilot defining the user language.

    Copilot-Language/copilot-language’s past year of commit activity
    Haskell 15 3 0 0 Updated Mar 29, 2021
View all repositories

Top languages

Loading…

Most used topics

Loading…