{"id":15150839,"url":"https://github.com/usc-fall-2024-math-587/homework1","last_synced_at":"2026-02-01T04:34:18.509Z","repository":{"id":255050570,"uuid":"848390406","full_name":"USC-Fall-2024-Math-587/homework1","owner":"USC-Fall-2024-Math-587","description":"Substitution ciphers","archived":false,"fork":false,"pushed_at":"2024-09-03T13:15:31.000Z","size":75,"stargazers_count":1,"open_issues_count":1,"forks_count":1,"subscribers_count":0,"default_branch":"main","last_synced_at":"2025-03-04T08:04:15.885Z","etag":null,"topics":["crytography","latex","lean","math"],"latest_commit_sha":null,"homepage":"","language":"Lean","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/USC-Fall-2024-Math-587.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-27T17:11:30.000Z","updated_at":"2024-09-03T13:15:35.000Z","dependencies_parsed_at":null,"dependency_job_id":"56d38352-cbba-4463-aa4c-f47a318ef713","html_url":"https://github.com/USC-Fall-2024-Math-587/homework1","commit_stats":null,"previous_names":["usc-fall-2024-math-587/homework1"],"tags_count":0,"template":true,"template_full_name":null,"purl":"pkg:github/USC-Fall-2024-Math-587/homework1","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/USC-Fall-2024-Math-587%2Fhomework1","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/USC-Fall-2024-Math-587%2Fhomework1/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/USC-Fall-2024-Math-587%2Fhomework1/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/USC-Fall-2024-Math-587%2Fhomework1/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/USC-Fall-2024-Math-587","download_url":"https://codeload.github.com/USC-Fall-2024-Math-587/homework1/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/USC-Fall-2024-Math-587%2Fhomework1/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":259465353,"owners_count":22862082,"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","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":["crytography","latex","lean","math"],"created_at":"2024-09-26T14:43:10.490Z","updated_at":"2026-02-01T04:34:18.482Z","avatar_url":"https://github.com/USC-Fall-2024-Math-587.png","language":"Lean","funding_links":[],"categories":[],"sub_categories":[],"readme":"## Homework 1\n\nThis week we have a written part and an implementation part.\n\n### Written part\n\nAnswer the questions found in `written.tex` and turn your answers in by uploading them\nback here before midnight on the due date. You may do this as many times as\nyou want. Only your final submission counts.\n\nRemember this is math class so be sure to justify your answers. You will be\ngraded on correctness and\n\nNote: when you submit, your filename must be `solutions.pdf` and it must be a pdf.\n\n(Hint: an adapted solution to the implementation could help you answer some\nof the questions...)\n\n### Implementation part\n\nRemove the sorries in `hw.lean` to pass the tests. There are more detailed instructions in the comments.\n\nBonus points: create `better.lean` and have it (maybe)\n- prompt the user for the desired shift\n- use a custom substition table\n- check if a phrase is encoded via Caesar cipher\n- properly sanitize the user input\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fusc-fall-2024-math-587%2Fhomework1","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fusc-fall-2024-math-587%2Fhomework1","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fusc-fall-2024-math-587%2Fhomework1/lists"}