Grow your team on GitHub
GitHub is home to over 40 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.
Sign up
Pinned repositories
-
copilot
A (Haskell DSL) stream language for generating hard real-time C code.
-
copilot-libraries
Copilot libraries for TL, Fault Tolerance, etc.
-
copilot-language
Front-end of Copilot defining the user language.
-
copilot-theorem
Forked from jonathan-laurent/copilot-kindA library for using model-checking techiques with Copilot programs
-
copilot-c99
A C99-backend for Copilot
-
copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
-
copilot-language.github.io
Repository containing the Copilot website
-
copilot-discussion
Repository containg reports and documentation on Copilot
-
copilot-testing
Copilot testing tools
-
copilot-sbv Archived
(DEPRECATED) SBV backend for Copilot.
-
copilot-cbmc Archived
(DEPRECATED) cbmc based tool for verifying copilot programs
-
copilot-experiments Archived
(DEPRECATED)
-
examplesForACSL Archived
(DEPRECATED)
-
sbv-for-copilot Archived
Forked from yav/sbv(DEPRECATED) SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
-
atom_for_copilot Archived
(DEPRECATED) a fork of the atom projet, but with every signature changed.
