steshaw / plt

Programming Language Theory λΠ

Date Created 2013-07-30 (11 years ago)

Commits 254 (last one 19 days ago)

Stargazers 5,248 (0 this week)

Watchers 274 (0 this week)

Forks 338

License unknown

Ranking

RepositoryStats indexes 595,856 repositories, of these steshaw/plt is ranked #8,908 (99th percentile) for total stargazers, and #4,428 for total watchers. Github reports the primary language for this repository as CSS, for repositories using this language it is ranked #82/5,845.

steshaw/plt is also tagged with popular topics, for these it's ranked: functional-programming (#22/654), programming-languages (#2/121)

Other Information

Homepage URL: https://steshaw.org/plt/

All Topics

logic type-theory proof-theory category-theory programming-languages functional-programming

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

44 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

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

updated: 2024-12-20 @ 06:54am, id: 11778215 / R_kgDOALO4pw