steshaw / plt

Programming Language Theory λΠ

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

Commits 253 (last one about a year ago)

Stargazers 5,236 (1 this week)

Watchers 276 (0 this week)

Forks 337

License unknown

Ranking

RepositoryStats indexes 584,353 repositories, of these steshaw/plt is ranked #8,807 (98th percentile) for total stargazers, and #4,347 for total watchers. Github reports the primary language for this repository as CSS, for repositories using this language it is ranked #85/5,746.

steshaw/plt is also tagged with popular topics, for these it's ranked: functional-programming (#22/649), 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

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-11-19 @ 12:21pm, id: 11778215 / R_kgDOALO4pw