8000 Copilot Language · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
@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 719 63

  2. copilot-verifier copilot-verifier Public

    System for verifying the correctness of generated Copilot programs

    Haskell 16 1

  3. copilot-bluespec copilot-bluespec Public

    A Copilot backend for generating Bluespec code suitable for FPGAs.

    Haskell 5 1

  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 16 1

  6. copilot-rust copilot-rust Public

    Rust backend for Copilot (WIP)

    Haskell 1 1

Repositories

Showing 10 of 20 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…
0