latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)

latte-central
latte-central
Date Created 2015-03-04 (10 years ago)
Commits 441 (last one 8 days ago)
Stargazers 259 (0 this week)
Watchers 17 (0 this week)
Forks 13
License mit
Ranking

RepositoryStats indexes 629,376 repositories, of these latte-central/LaTTe is ranked #155,609 (75th percentile) for total stargazers, and #126,751 for total watchers. Github reports the primary language for this repository as Clojure, for repositories using this language it is ranked #463/1,585.

latte-central/LaTTe is also tagged with popular topics, for these it's ranked: clojure (#233/748),  mathematics (#137/387)

Other Information

latte-central/LaTTe has Github issues enabled, there are 3 open issues and 11 closed issues.

There have been 7 releases, the latest one was published on 2021-01-06 (4 years ago) with the name v1.0 beta 9.

Homepage URL: http://latte-central.github.io/LaTTe/

Star History

Github stargazers over time

300300250250200200150150100100505000201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

181817.517.5171716.516.5161615.515.5151520232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

27 commits on the default branch (master) since jan '22

30302525202015151010550020232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

200200180180160160140140120120100100808060604040202000201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
1414121210108866442200201720172018201820192019202020202021202120222022202320232024202420252025

Languages

The primary language is Clojure but there's also others...

ClojureClojureShellShellMakefileMakefile

updated: 2025-03-14 @ 04:09am, id: 31682221 / R_kgDOAeNurQ