GitHub Analytics

GitHub Analytics

programming-language-research

Public

Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.

MIT License

Updated Jan 31, 2026

Created Mar 16, 2023

258 stars

10 forks

3 watchers

0 open issues

Languages

Codebase composition by bytes

No language data available

Top Contributors

11 commits

Recent Stargazers

SA sashaquizbrim

almost 3 years ago

almost 3 years ago

almost 3 years ago

NO NoumanAmir657

almost 3 years ago

almost 3 years ago

almost 3 years ago

AB AbooMinister25

almost 3 years ago

WA Waleed-abdullah

almost 3 years ago

almost 3 years ago

almost 3 years ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)39

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 1

Open Issues1

Activity Peak

Most recent day with highest activityJan 31, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.