alhassy / next-700-module-systems

PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.

alhassy
alhassy
Date Created 2019-04-25 (5 years ago)
Commits 293 (last one 3 years ago)
Stargazers 81 (0 this week)
Watchers 8 (0 this week)
Forks 6
License gpl-3.0
Ranking

RepositoryStats indexes 632,768 repositories, of these alhassy/next-700-module-systems is ranked #353,975 (44th percentile) for total stargazers, and #237,675 for total watchers. Github reports the primary language for this repository as HTML, for repositories using this language it is ranked #8,933/16,494.

alhassy/next-700-module-systems is also tagged with popular topics, for these it's ranked: emacs (#637/932),  language (#537/763),  haskell (#438/650),  ocaml (#187/299),  lisp (#160/246),  metaprogramming (#82/126)

Other Information

alhassy/next-700-module-systems has Github issues enabled, there is 1 open issue and 37 closed issues.

Star History

Github stargazers over time

90908080707060605050404030302020101000202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

9999998.58.588888820232023Jul '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

1601601401401201201001008080606040402020002019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
40403535303025252020151510105500202020202021202120222022202320232024202420252025

Languages

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

HTMLHTMLTeXTeXAgdaAgdaEmacs LispEmacs LispCSSCSS

updated: 2025-03-07 @ 08:56am, id: 183481245 / R_kgDOCu-znQ