{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"copilot-verifier","owner":"Copilot-Language","isFork":false,"description":"System for verifying the correctness of generated Copilot programs","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":6,"starsCount":14,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-17T20:02:53.103Z"}},{"type":"Public","name":"copilot-bluespec","owner":"Copilot-Language","isFork":false,"description":"A Copilot backend for generating Bluespec code suitable for FPGAs. ","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":2,"starsCount":2,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-10T16:19:06.255Z"}},{"type":"Public","name":"copilot","owner":"Copilot-Language","isFork":false,"description":"A stream-based runtime-verification framework for generating hard real-time C code.","allTopics":["c","haskell","embedded-systems","rv","runtime-verification","stream","copilot"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":14,"starsCount":604,"forksCount":47,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T07:45:58.305Z"}},{"type":"Public","name":"copilot-language.github.io","owner":"Copilot-Language","isFork":false,"description":"Repository containing the Copilot website","allTopics":["copilot"],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":1,"issueCount":1,"starsCount":4,"forksCount":1,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-08T14:23:59.879Z"}},{"type":"Public","name":"homebrew-core","owner":"Copilot-Language","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Ruby","color":"#701516"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-02T06:21:22.649Z"}},{"type":"Public","name":"copilot-rust","owner":"Copilot-Language","isFork":false,"description":"Rust backend for Copilot","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-23T01:22:18.883Z"}},{"type":"Public","name":"copilot-discussion","owner":"Copilot-Language","isFork":false,"description":"Repository containg reports and documentation on Copilot","allTopics":["copilot"],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":2,"starsCount":14,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-11T15:34:26.711Z"}},{"type":"Public archive","name":"copilot-c99","owner":"Copilot-Language","isFork":false,"description":"(DEPRECATED) A C99-backend for Copilot","allTopics":["copilot"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-29T14:47:03.604Z"}},{"type":"Public archive","name":"copilot-core","owner":"Copilot-Language","isFork":false,"description":"(DEPRECATED) Intermediate representation for Copilot.","allTopics":["c","haskell","streams","embedded-systems","embedded-c","runtime-verification","stream-programming"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-29T14:39:48.111Z"}},{"type":"Public archive","name":"copilot-language","owner":"Copilot-Language","isFork":false,"description":"(DEPRECATED) Front-end of Copilot defining the user language.","allTopics":["c","haskell","streams","embedded-systems","embedded-c","runtime-verification","stream-programming"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-29T14:28:25.670Z"}},{"type":"Public archive","name":"copilot-theorem","owner":"Copilot-Language","isFork":true,"description":"(DEPRECATED) A library for using model-checking techiques with Copilot programs","allTopics":["copilot"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-29T13:46:44.473Z"}},{"type":"Public archive","name":"copilot-libraries","owner":"Copilot-Language","isFork":false,"description":"(DEPRECATED) Copilot libraries for TL, Fault Tolerance, etc.","allTopics":["copilot"],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-03-07T14:00:10.673Z"}},{"type":"Public archive","name":"copilot-sbv","owner":"Copilot-Language","isFork":false,"description":"(DEPRECATED) SBV backend for Copilot.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-30T14:17:55.757Z"}},{"type":"Public archive","name":"copilot-cbmc","owner":"Copilot-Language","isFork":false,"description":"(DEPRECATED) cbmc based tool for verifying copilot programs","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-03-30T14:16:28.233Z"}},{"type":"Public archive","name":"copilot-experiments","owner":"Copilot-Language","isFork":false,"description":"(DEPRECATED)","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-07-01T18:52:25.371Z"}},{"type":"Public archive","name":"examplesForACSL","owner":"Copilot-Language","isFork":false,"description":"(DEPRECATED)","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-05T01:33:11.779Z"}},{"type":"Public archive","name":"sbv-for-copilot","owner":"Copilot-Language","isFork":true,"description":"(DEPRECATED) SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. ","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":43,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-19T14:09:04.773Z"}},{"type":"Public archive","name":"atom_for_copilot","owner":"Copilot-Language","isFork":false,"description":"(DEPRECATED) a fork of the atom projet, but with every signature changed.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-06-10T22:16:40.285Z"}}],"repositoryCount":18,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}