{"id":19561144,"url":"https://github.com/dev88jerry/cs310","last_synced_at":"2026-03-19T10:29:51.761Z","repository":{"id":221613055,"uuid":"754887672","full_name":"dev88jerry/CS310","owner":"dev88jerry","description":"Bishop's University - CS 310 Introduction to Software Specifications","archived":false,"fork":false,"pushed_at":"2024-02-09T00:31:49.000Z","size":20610,"stargazers_count":0,"open_issues_count":0,"forks_count":1,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-02-26T08:43:44.367Z","etag":null,"topics":["automata","automata-theory","pumping-lemma","regular-expressions","state-transition-diagram","state-transitions"],"latest_commit_sha":null,"homepage":"","language":null,"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/dev88jerry.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}},"created_at":"2024-02-09T00:21:24.000Z","updated_at":"2024-02-09T00:33:56.000Z","dependencies_parsed_at":"2024-02-09T02:19:02.397Z","dependency_job_id":null,"html_url":"https://github.com/dev88jerry/CS310","commit_stats":null,"previous_names":["dev88jerry/cs310"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/dev88jerry/CS310","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dev88jerry%2FCS310","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dev88jerry%2FCS310/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dev88jerry%2FCS310/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dev88jerry%2FCS310/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/dev88jerry","download_url":"https://codeload.github.com/dev88jerry/CS310/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/dev88jerry%2FCS310/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":30042961,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-03T10:53:31.691Z","status":"ssl_error","status_checked_at":"2026-03-03T10:53:22.041Z","response_time":61,"last_error":"SSL_read: unexpected eof while reading","robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":false,"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":["automata","automata-theory","pumping-lemma","regular-expressions","state-transition-diagram","state-transitions"],"created_at":"2024-11-11T05:09:55.223Z","updated_at":"2026-03-03T11:45:47.889Z","avatar_url":"https://github.com/dev88jerry.png","language":null,"funding_links":[],"categories":[],"sub_categories":[],"readme":"# CS310\nIntroduction to Software Specifications\n\nCourse assignments and midterm from lectures in Winter 2023\n\n[Course website](https://cs.ubishops.ca/home/cs310/)\n\n![This is a meme](https://i.redd.it/formallanguagesanyone-v0-f7b64k3r7w7c1.png?s=25d8410870b3434dd3302a1d391e50c59918d0d0)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdev88jerry%2Fcs310","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fdev88jerry%2Fcs310","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fdev88jerry%2Fcs310/lists"}