Showing 10 of 20 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
831 79 5 7
Updated Jul 8, 2026
Copilot-Language/copilot-language.github.io's past year of commit activity

CSS
5
BSD-3-Clause
3 1 2
Updated May 28, 2026
Copilot-Language/copilot-visualizer's past year of commit activity

Haskell
1 1 0 0
Updated Jun 27, 2025
copilot-bluespec Public
A Copilot backend for generating Bluespec code suitable for FPGAs.

Copilot-Language/copilot-bluespec's past year of commit activity

Haskell
7 2 4 0
Updated May 18, 2025
copilot-verifier Public
System for verifying the correctness of generated Copilot programs

Copilot-Language/copilot-verifier's past year of commit activity

Haskell
19 1 6 0
Updated May 8, 2025
Copilot-Language/copilot-discussion's past year of commit activity

TeX
18 1 3 1
Updated Dec 14, 2024
Copilot-Language/copilot-tutorial-material's past year of commit activity

Haskell
1 0 0 0
Updated Nov 24, 2024
Copilot-Language/homebrew-core's past year of commit activity

Ruby
0 0 0 0
Updated Jan 2, 2024
Copilot-Language/copilot-rust's past year of commit activity

Haskell
3 1 0 0
Updated Dec 23, 2023
copilot-c99 Public archive
(DEPRECATED) A C99-backend for Copilot

Copilot-Language/copilot-c99's past year of commit activity

Haskell
8 2 0 0
Updated Mar 29, 2021