andrew-johnson-4 / LSTS

Large Scale Type Systems (programming language)

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

Commits 1,446 (last one 9 days ago)

Stargazers 117 (0 this week)

Watchers 3 (0 this week)

Forks 3

License mit

Ranking

RepositoryStats indexes 609,425 repositories, of these andrew-johnson-4/LSTS is ranked #268,589 (56th percentile) for total stargazers, and #432,193 for total watchers.

andrew-johnson-4/LSTS is also tagged with popular topics, for these it's ranked: rust (#3,948/7501), parser (#662/1226), compiler (#659/1074), programming-language (#444/739), ast (#188/297)

Other Information

andrew-johnson-4/LSTS has Github issues enabled, there are 4 open issues and 127 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,403 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

We don't have any language data for this repository

It's a mystery

Opengraph Image

updated: 2025-01-23 @ 03:33am, id: 404928261 / R_kgDOGCK3BQ