andrew-johnson-4 / LSTS

Large Scale Type Systems (programming language)

Date Created 2021-09-10 (3 years ago)

Commits 1,390 (last one about a month ago)

Stargazers 111 (0 this week)

Watchers 3 (0 this week)

Forks 3

License mit

Ranking

RepositoryStats indexes 579,238 repositories, of these andrew-johnson-4/LSTS is ranked #268,886 (54th percentile) for total stargazers, and #420,216 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #7,420/16,513.

andrew-johnson-4/LSTS is also tagged with popular topics, for these it's ranked: rust (#3,897/7115), parser (#671/1189), compiler (#656/1045), language (#461/737), ast (#189/291)

Other Information

andrew-johnson-4/LSTS has Github issues enabled, there are 6 open issues and 123 closed issues.

Homepage URL: https://andrew-johnson-4.github.io/lsts-tutorial/

All Topics

ast lint lsts rust lexer parser compiler language type-checking theorem-prover category-theory dependent-types error-reporting lambda-calculus proof-assistant refinement-types assisted-reasoning lambda-calculus-interpreter

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

1,347 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

The only known language in this repository is Rust

Opengraph Image

updated: 2024-10-13 @ 10:15am, id: 404928261 / R_kgDOGCK3BQ