mroman42 / mikrokosmos

(λ) Educational lambda calculus interpreter

Date Created 2016-08-29 (8 years ago)
Commits 457 (last one 3 years ago)
Stargazers 72 (0 this week)
Watchers 6 (0 this week)
Forks 7
License gpl-3.0
Ranking

RepositoryStats indexes 622,269 repositories, of these mroman42/mikrokosmos is ranked #379,584 (39th percentile) for total stargazers, and #304,626 for total watchers. Github reports the primary language for this repository as Haskell, for repositories using this language it is ranked #1,015/1,485.

mroman42/mikrokosmos is also tagged with popular topics, for these it's ranked: haskell (#468/647),  interpreter (#292/435)

Other Information

mroman42/mikrokosmos has Github issues enabled, there are 3 open issues and 28 closed issues.

There have been 6 releases, the latest one was published on 2018-10-24 (6 years ago) with the name v0.8.1.

Homepage URL: https://mroman42.github.io/mikrokosmos

Star History

Github stargazers over time

8080707060605050404030302020101000201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

7777666666555520232023Feb '23Feb '23Apr '23Apr '23Jun '23Jun '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

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

2502502002001501501001005050002016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
3535303025252020151510105500201720172018201820192019202020202021202120222022202320232024202420252025

Languages

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

HaskellHaskellTeXTeX

updated: 2025-02-18 @ 01:01am, id: 66862013 / R_kgDOA_w7vQ