steshaw / plt

Programming Language Theory λΠ

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

Commits 253 (last one 11 months ago)

Stargazers 5,170 (6 this week)

Watchers 277 (0 this week)

Forks 335

License unknown

Ranking

RepositoryStats indexes 533,807 repositories, of these steshaw/plt is ranked #8,416 (98th percentile) for total stargazers, and #4,327 for total watchers. Github reports the primary language for this repository as CSS, for repositories using this language it is ranked #87/5,335.

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

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

43 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-06-27 @ 04:16am, id: 11778215 / R_kgDOALO4pw