Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / yegor256 / ppa
Practical Program Analysis (academic course) presented in Innopolis University in 2023
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/yegor256%2Fppa
Stars: 7
Forks: 0
Open Issues: 1
License: mit
Language: TeX
Repo Size: 22.4 MB
Dependencies:
3
Created: over 1 year ago
Updated: 5 days ago
Last pushed: 5 days ago
Last synced: 5 days ago
Topics: course, formal-grammar, formal-semantics, latex, lecture-notes, program-analysis, programming-language
Funding links: https://github.com/sponsors/yegor256
Files
Dependencies
- JamesIves/github-pages-deploy-action v4.5.0 composite
- actions/checkout v4 composite
- yegor256/latexmk-action 0.8.1 composite