{"id":18026779,"url":"https://github.com/yegor256/ppa","last_synced_at":"2025-03-27T01:31:25.958Z","repository":{"id":152452410,"uuid":"569970895","full_name":"yegor256/ppa","owner":"yegor256","description":"Practical Program Analysis (academic course) presented in Innopolis University in 2023","archived":false,"fork":false,"pushed_at":"2025-03-10T13:32:03.000Z","size":25320,"stargazers_count":8,"open_issues_count":2,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-03-22T21:06:52.399Z","etag":null,"topics":["course","formal-grammar","formal-semantics","latex","lecture-notes","program-analysis","programming-language"],"latest_commit_sha":null,"homepage":"https://yegor256.github.io/ppa/","language":"TeX","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/yegor256.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE.txt","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":"2022-11-24T03:18:19.000Z","updated_at":"2025-03-14T02:04:02.000Z","dependencies_parsed_at":"2024-07-05T19:20:48.307Z","dependency_job_id":"9a69cdbb-26b9-4b80-b9d9-d95fb0d0f124","html_url":"https://github.com/yegor256/ppa","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yegor256%2Fppa","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yegor256%2Fppa/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yegor256%2Fppa/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yegor256%2Fppa/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/yegor256","download_url":"https://codeload.github.com/yegor256/ppa/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":245764702,"owners_count":20668462,"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":["course","formal-grammar","formal-semantics","latex","lecture-notes","program-analysis","programming-language"],"created_at":"2024-10-30T08:08:01.670Z","updated_at":"2025-03-27T01:31:22.544Z","avatar_url":"https://github.com/yegor256.png","language":"TeX","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Practical Program Analysis, Lecture Notes\n\n[![latexmk](https://github.com/yegor256/ppa/actions/workflows/latexmk.yml/badge.svg?branch=master)](https://github.com/yegor256/ppa/actions/workflows/latexmk.yml)\n\nThere are slides for the series of my lectures for 3rd year BSc\nstudents of Innopolis University, in 2023.\n\nAll recorded videos are in [this YouTube playlist][playlist].\n\nAll compiled slide decks in PDF are [here](https://yegor256.github.io/ppa/).\n\nTo compile everything just run:\n\n```bash\nmake\n```\n\nTo clean everything up, do:\n\n```bash\nmake clean\n```\n\nYou need to have\n[LaTeX](https://en.wikipedia.org/wiki/LaTeX),\n[`aspell`](http://aspell.net/),\n[`texsc`](https://rubygems.org/gems/texsc),\nand\n[`texqc`](https://rubygems.org/gems/texqc)\ninstalled.\n\n**Disclaimer**: All visual and text materials presented in\nthis slidedeck are either originally made by the author or taken from public\nInternet sources, such as website. Copyright belongs to their respected\nauthors.\n\n[playlist]: https://www.youtube.com/playlist?list=PLaIsQH4uc08wdXIC4utfgMxV_iswE9_Md\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fyegor256%2Fppa","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fyegor256%2Fppa","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fyegor256%2Fppa/lists"}