{"id":19256496,"url":"https://github.com/copilot-language/copilot-tutorial-material","last_synced_at":"2025-08-12T12:38:57.299Z","repository":{"id":256146080,"uuid":"843418773","full_name":"Copilot-Language/copilot-tutorial-material","owner":"Copilot-Language","description":null,"archived":false,"fork":false,"pushed_at":"2024-11-24T20:22:30.000Z","size":1041,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-02-23T17:46:26.169Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/Copilot-Language.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-08-16T13:24:14.000Z","updated_at":"2024-09-09T09:50:47.000Z","dependencies_parsed_at":"2025-02-23T17:43:00.751Z","dependency_job_id":"1a9f17ca-c695-4820-8524-be22c8d4ccf7","html_url":"https://github.com/Copilot-Language/copilot-tutorial-material","commit_stats":null,"previous_names":["copilot-language/copilot-tutorial-material"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/Copilot-Language/copilot-tutorial-material","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot-tutorial-material","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot-tutorial-material/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot-tutorial-material/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot-tutorial-material/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/Copilot-Language","download_url":"https://codeload.github.com/Copilot-Language/copilot-tutorial-material/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/Copilot-Language%2Fcopilot-tutorial-material/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":270063028,"owners_count":24520661,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-08-12T02:00:09.011Z","response_time":80,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-09T19:05:58.392Z","updated_at":"2025-08-12T12:38:57.252Z","avatar_url":"https://github.com/Copilot-Language.png","language":"Haskell","readme":"# Runtime Verification of Hard Realtime Systems with Copilot: A Tutorial\n\nThis repository is part of `Runtime Verification of Hard Realtime Systems with\nCopilot: A Tutorial`, at Formal Methods 2024, September 9 2024. It contains a\nset of exercises that is used during the session, together with a `Dockerfile`\nfor quickly getting a working Copilot installation.\n\n\n## Overview\n\nThis repository contains a number of files and directories:\n\n```\n.\n├── Dockerfile\n├── INSTALL.md\n├── Makefile\n├── README.md\n├── answers\n├── bin\n│   └── rundocker\n└── exercises\n    ├── ...\n    └── test\n        ├── Main.hs\n        └── run.sh\n```\n\nThe interesting files are:\n\n- `Dockerfile`: defines the Docker image that we will be using.\n- `Makefile`: helps us build the Docker image.\n- `answers/`: The answers to the exercises.\n- `bin/rundocker`: A wrapper script for running things inside Docker.\n- `exercises/`: Directory containing exercises. Each exercise has its own\n  subdirectory and a `run.sh` script for running it. `test` is not an exercise,\n  but just a simple way to test your installation.\n\n\n## Requirements \u0026 Setup\n\nPlease see `INSTALL.md` for installation.\n\n\n## Running the exercises\n\nEach exercise comes with its own file. There are two ways to run them, either\nby passing `bin/rundocker runhaskell` followed by the file to run:\n\n```sh\n$ bin/rundocker runhaskell exercises/Ex??-??.hs\n```\n\nOr, passing no arguments to open up a terminal inside the container in which we\ncan call `runhaskell`:\n\n```sh\n$ bin/rundocker\n# cd /exercises/\n# runhaskell Ex??-??.hs\n```\n","funding_links":[],"categories":[],"sub_categories":[],"project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcopilot-language%2Fcopilot-tutorial-material","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcopilot-language%2Fcopilot-tutorial-material","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcopilot-language%2Fcopilot-tutorial-material/lists"}