Copilot-Language/copilot

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

Language: Haskell - Size: 4.41 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 715 - Forks: 63

Copilot-Language/copilot-bluespec

A Copilot backend for generating Bluespec code suitable for FPGAs.

Language: Haskell - Size: 85 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 5 - Forks: 1

Copilot-Language/copilot-verifier

System for verifying the correctness of generated Copilot programs

Language: Haskell - Size: 165 KB - Last synced at: 6 days ago - Pushed at: about 2 months ago - Stars: 16 - Forks: 1

Copilot-Language/copilot-visualizer

Size: 29.3 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 1 - Forks: 1

Copilot-Language/copilot-discussion

Repository containg reports and documentation on Copilot

Language: TeX - Size: 52.7 MB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 15 - Forks: 1

Copilot-Language/copilot-language.github.io

Repository containing the Copilot website

Language: CSS - Size: 731 KB - Last synced at: 6 days ago - Pushed at: 4 months ago - Stars: 4 - Forks: 1

Copilot-Language/copilot-rust

Rust backend for Copilot (WIP)

Language: Haskell - Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

Copilot-Language/copilot-tutorial-material

Language: Haskell - Size: 1020 KB - Last synced at: 2 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

Copilot-Language/homebrew-core

Language: Ruby - Size: 4.88 KB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

Copilot-Language/sbv-for-copilot Fork of yav/sbv 📦

(DEPRECATED) SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Language: Haskell - Size: 4.91 MB - Last synced at: about 2 years ago - Pushed at: almost 10 years ago - Stars: 1 - Forks: 0

Copilot-Language/copilot-experiments 📦

(DEPRECATED)

Language: C - Size: 75.2 KB - Last synced at: about 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

Copilot-Language/atom_for_copilot 📦

(DEPRECATED) a fork of the atom projet, but with every signature changed.

Language: Haskell - Size: 230 KB - Last synced at: about 2 years ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0

Copilot-Language/copilot-sbv 📦

(DEPRECATED) SBV backend for Copilot.

Language: Haskell - Size: 250 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 4 - Forks: 0

Copilot-Language/examplesForACSL 📦

(DEPRECATED)

Language: C - Size: 68.8 MB - Last synced at: about 2 years ago - Pushed at: about 9 years ago - Stars: 0 - Forks: 0

Copilot-Language/copilot-cbmc 📦

(DEPRECATED) cbmc based tool for verifying copilot programs

Language: Haskell - Size: 15.6 KB - Last synced at: about 2 years ago - Pushed at: about 6 years ago - Stars: 2 - Forks: 1

Copilot-Language/copilot-theorem Fork of jonathan-laurent/copilot-kind 📦

(DEPRECATED) A library for using model-checking techiques with Copilot programs

Language: Haskell - Size: 1.54 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 6 - Forks: 1

Copilot-Language/copilot-language 📦

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

Language: Haskell - Size: 356 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 15 - Forks: 3

Copilot-Language/copilot-libraries 📦

(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc.

Language: Haskell - Size: 78.1 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 8 - Forks: 2

Copilot-Language/copilot-c99 📦

(DEPRECATED) A C99-backend for Copilot

Language: Haskell - Size: 336 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 7 - Forks: 2

Copilot-Language/copilot-core 📦

(DEPRECATED) Intermediate representation for Copilot.

Language: Haskell - Size: 386 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 5 - Forks: 2