groupoid / henk

🧊 Чиста система з всесвітами

Date Created 2013-07-28 (10 years ago)

Commits 54 (last one 4 days ago)

Stargazers 144 (0 this week)

Watchers 21 (0 this week)

Forks 20

License other

Ranking

RepositoryStats indexes 534,880 repositories, of these groupoid/henk is ranked #212,179 (60th percentile) for total stargazers, and #103,140 for total watchers. Github reports the primary language for this repository as Erlang, for repositories using this language it is ranked #198/410.

groupoid/henk is also tagged with popular topics, for these it's ranked: erlang (#151/282)

Other Information

There have been 3 releases, the latest one was published on 2017-10-31 (6 years ago) with the name November 2017.

Homepage URL: https://henk.groupoid.space

All Topics

pts pure erlang lambda-cube termination

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

54 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

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

updated: 2024-06-28 @ 10:17am, id: 11726487 / R_kgDOALLulw