alhassy
Musa Al-hassy Joined May 2017 252 followers View on GitHub
- Stars
- 2,158
- across 49 public repos
- Rank
- #19,890
- of 327,333 users, top 7%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 153,729 | My Emacs configuration, literately | Emacs Lisp | 399 |
| 232,704 | Quick reference to the core language of Emacs ---Editor MACroS. | 247 | |
| 238,377 | A number of new custom blocks and link types for Emacs' Org-mode ^_^ | Emacs Lisp | 240 |
| 256,041 | Quick reference to the tremendously accessible high-level language of the web ^_^ | 220 | |
| 298,152 | Pretty cheat sheets, or ``reference cards'', obtainable from Org files. | TeX | 183 |
| 457,712 | A slow-paced introduction to reflection in Agda. ---Tactics! | Agda | 108 |
| 563,211 | PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue. | HTML | 83 |
| 574,371 | Reference of basic commands to get comfortable with OCaml. | 81 | |
| 591,741 | Basics of relational programming with Prolog —PROgramming in LOGic ^_^ | Prolog | 78 |
| 597,719 | Press "C-x C-e" to send any piece of code (in any language) to a REPL in the background, within Emacs! | Emacs Lisp | 77 |
| 603,762 | This project is to contain a listing of common theorems in elementary category theory. | 76 |
Among 327,333 users
1.6k–2.5k stars: 9,985 users, including alhassy
Stars along the bottom, and users in each band on a log scale
Where the stars are
Languages
- Emacs Lisp 716 stars, 33% · 3 repos
- TeX 183 stars, 8% · 1 repo
- Agda 108 stars, 5% · 1 repo
- HTML 83 stars, 4% · 1 repo
- Prolog 78 stars, 4% · 1 repo
When they were made
11 repos with 50+ stars, made between 2018 and 2023
Quick stats
- Next rank
- +1 star to reach #19,882
- Next milestone
- +7,708 stars to reach the top 1%
- Public repos
- 49, 11 with 50+ stars
- Popular repos
- 6 over 100 stars
- Top repo
- emacs.d, #153,729 of all repos, 18% of stars
- Smaller repos
- 366 stars from repos under 50