Skip to content

Navigation Menu

Sign in
Appearance settings
Copilot-Language

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Appearance settings
@Copilot-Language

Copilot Language

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 830 79

  2. copilot-verifier copilot-verifier Public

    System for verifying the correctness of generated Copilot programs

    Haskell 19 1

  3. copilot-bluespec copilot-bluespec Public

    A Copilot backend for generating Bluespec code suitable for FPGAs.

    Haskell 7 2

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

    Repository containing the Copilot website

    CSS 5 3

  5. copilot-discussion copilot-discussion Public

    Repository containg reports and documentation on Copilot

    TeX 18 1

  6. copilot-rust copilot-rust Public

    Rust backend for Copilot (WIP)

    Haskell 3 1

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 20 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
Morty Proxy This is a proxified and sanitized view of the page, visit original site.