andrew-johnson-4 / LSTS

Large Scale Type Systems (programming language)

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

Commits 1,422 (last one 20 days ago)

Stargazers 114 (0 this week)

Watchers 3 (0 this week)

Forks 3

License mit

Ranking

RepositoryStats indexes 595,856 repositories, of these andrew-johnson-4/LSTS is ranked #269,404 (55th percentile) for total stargazers, and #427,587 for total watchers. Github reports the primary language for this repository as Rust, for repositories using this language it is ranked #7,510/17,127.

andrew-johnson-4/LSTS is also tagged with popular topics, for these it's ranked: rust (#3,935/7315), parser (#671/1208), compiler (#658/1063), programming-language (#446/729), ast (#188/293)

Other Information

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

Homepage URL: https://github.com/andrew-johnson-4/LSTS/wiki

All Topics

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

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

1,379 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-12-10 @ 04:09am, id: 404928261 / R_kgDOGCK3BQ