ilya-klyuchnikov / lambdapi

Dependently Typed Lambda Calculus in Haskell

ilya-klyuchnikov
ilya-klyuchnikov
Date Created 2013-06-08 (11 years ago)
Commits 26 (last one 4 years ago)
Stargazers 114 (0 this week)
Watchers 3 (0 this week)
Forks 21
License other
Ranking

RepositoryStats indexes 631,351 repositories, of these ilya-klyuchnikov/lambdapi is ranked #280,159 (56th percentile) for total stargazers, and #417,031 for total watchers. Github reports the primary language for this repository as Haskell, for repositories using this language it is ranked #721/1,498.

ilya-klyuchnikov/lambdapi is also tagged with popular topics, for these it's ranked: programming-language (#455/748)

Star History

Github stargazers over time

120120100100808060604040202000201420142015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

4444333333222220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

20201818161614141212101088664422002013201320142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

No issues have been posted

Languages

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

HaskellHaskellSmalltalkSmalltalk

updated: 2025-03-06 @ 05:53am, id: 10568026 / R_kgDOAKFBWg