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

alhassy's repositories with their overall rank
RankRepositoryLanguageStars
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

  1. Emacs Lisp 716 stars, 33% · 3 repos
  2. TeX 183 stars, 8% · 1 repo
  3. Agda 108 stars, 5% · 1 repo
  4. HTML 83 stars, 4% · 1 repo
  5. 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

Stars counted Recounted daily Next count around