ilya-klyuchnikov / ttlite

A SuperCompiler for Martin-Löf's Type Theory

ilya-klyuchnikov
ilya-klyuchnikov
Date Created 2013-10-15 (11 years ago)
Commits 527 (last one 3 years ago)
Stargazers 120 (0 this week)
Watchers 10 (0 this week)
Forks 9
License unknown
Ranking

RepositoryStats indexes 633,559 repositories, of these ilya-klyuchnikov/ttlite is ranked #271,108 (57th percentile) for total stargazers, and #201,000 for total watchers. Github reports the primary language for this repository as Scala, for repositories using this language it is ranked #1,023/2,038.

ilya-klyuchnikov/ttlite is also tagged with popular topics, for these it's ranked: programming-language (#444/749)

Star History

Github stargazers over time

140140120120100100808060604040202000201420142015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

11111111101010101010999920232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

887766554433221100Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

4504504004003503503003002502502002001501501001005050002013201320142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Github Issues disabled for this repository

Languages

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

ScalaScalaAgdaAgdaIdrisIdrisHaskellHaskellCoqCoq

updated: 2025-02-13 @ 12:53am, id: 13581325 / R_kgDOAM88DQ