plfa / plfa.github.io

An introduction to programming language theory in Agda

Date Created 2017-03-10 (7 years ago)

Commits 2,925 (last one 9 days ago)

Stargazers 1,337 (-2 this week)

Watchers 23 (0 this week)

Forks 300

License cc-by-4.0

Ranking

RepositoryStats indexes 536,158 repositories, of these plfa/plfa.github.io is ranked #36,997 (93rd percentile) for total stargazers, and #94,240 for total watchers. Github reports the primary language for this repository as Agda, for repositories using this language it is ranked #1/35.

plfa/plfa.github.io is also tagged with popular topics, for these it's ranked: book (#140/579)

Other Information

plfa/plfa.github.io has 10 open pull requests on Github, 618 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 44 open issues and 206 closed issues.

There have been 3 releases, the latest one was published on 2022-08-25 (about a year ago) with the name v22.08.

Homepage URL: https://plfa.github.io

All Topics

book proof-assistant programming-languages

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

618 commits on the default branch (dev) since jan '22

Yearly Commits

Commits to the default branch (dev) per year

Issue History

Languages

The primary language is Agda but there's also others...

updated: 2024-07-02 @ 05:10pm, id: 84554235 / R_kgDOBQox-w