Repositories list

• copilot

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

  chaskellstream+ 4embedded-systemscopilotrvruntime-verification

  Haskell

  •55•654•9•3•Updated Oct 30, 2024Oct 30, 2024

• copilot-verifier

  Public
  System for verifying the correctness of generated Copilot programs

  Haskell

  •1•14•4•0•Updated Sep 9, 2024Sep 9, 2024

• copilot-bluespec

  Public
  A Copilot backend for generating Bluespec code suitable for FPGAs.

  Haskell

  •

  Other

  •0•3•3•0•Updated Sep 9, 2024Sep 9, 2024

• copilot-tutorial-material

  Public
  Haskell

  •0•0•0•0•Updated Sep 9, 2024Sep 9, 2024

• copilot-discussion

  Public
  Repository containg reports and documentation on Copilot

  copilot

  TeX

  •1•14•3•1•Updated Aug 21, 2024Aug 21, 2024

• copilot-language.github.io

  Public
  Repository containing the Copilot website

  copilot

  CSS

  •

  BSD 3-Clause "New" or "Revised" License

  •1•4•1•1•Updated Jul 8, 2024Jul 8, 2024

• homebrew-core

  Public
  Ruby

  •0•0•0•0•Updated Jan 2, 2024Jan 2, 2024

• copilot-rust

  Public
  Rust backend for Copilot (WIP)

  Haskell

  •1•1•0•0•Updated Dec 23, 2023Dec 23, 2023

• copilot-c99

  Public archive
  (DEPRECATED) A C99-backend for Copilot

  copilot

  Haskell

  •

  Other

  •2•7•0•0•Updated Mar 29, 2021Mar 29, 2021

• copilot-core

  Public archive
  (DEPRECATED) Intermediate representation for Copilot.

  chaskellstreams+ 4embedded-systemsembedded-cruntime-verificationstream-programming

  Haskell

  •

  Other

  •2•5•0•0•Updated Mar 29, 2021Mar 29, 2021

• copilot-language

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

  chaskellstreams+ 4embedded-systemsembedded-cruntime-verificationstream-programming

  Haskell

  •

  Other

  •3•15•0•0•Updated Mar 29, 2021Mar 29, 2021

• copilot-theorem

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

  copilot

  Haskell

  •

  Other

  •3•6•0•0•Updated Mar 29, 2021Mar 29, 2021

• copilot-libraries

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

  copilot

  Haskell

  •

  Other

  •2•9•0•0•Updated Mar 7, 2021Mar 7, 2021

• copilot-sbv

  Public archive
  (DEPRECATED) SBV backend for Copilot.

  Haskell

  •

  Other

  •0•4•0•0•Updated Mar 30, 2019Mar 30, 2019

• copilot-cbmc

  Public archive
  (DEPRECATED) cbmc based tool for verifying copilot programs

  Haskell

  •

  Other

  •1•3•0•1•Updated Mar 30, 2019Mar 30, 2019

• copilot-experiments

  Public archive
  (DEPRECATED)

  C

  •0•0•0•0•Updated Jul 1, 2016Jul 1, 2016

• examplesForACSL

  Public archive
  (DEPRECATED)

  C

  •0•0•0•0•Updated Mar 5, 2016Mar 5, 2016

• sbv-for-copilot

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

  Haskell

  •

  Other

  •43•1•0•0•Updated Jun 19, 2015Jun 19, 2015

• atom_for_copilot

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

  Haskell

  •

  Other

  •0•0•0•0•Updated Jun 10, 2015Jun 10, 2015