cpitclaudel
Clément Pit-Claudel Joined Jul 2014 378 followers View on GitHub
- Stars
- 1,817
- across 26 public repos
- Rank
- #23,777
- of 327,331 users, top 8%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 142,663 | Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming) | Python | 434 |
| 168,350 | A Coq IDE build on top of Proof General's Coq mode | Emacs Lisp | 360 |
| 181,216 | A collection of tools for writing technical documents that mix Rocq code and prose. | HTML | 331 |
| 256,050 | Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs | Emacs Lisp | 220 |
| 347,715 | WASM builds of the Z3 SMT solver | Shell | 152 |
| 490,656 | An HTML+CSS template for making more accessible posters | Less | 99 |
| 532,911 | Quick-peek inline-window library for Emacs | Emacs Lisp | 89 |
| 838,796 | Improve readability of escape characters in ELisp regular expressions | Emacs Lisp | 50 |
Among 327,331 users
1.6k–2.5k stars: 9,989 users, including cpitclaudel
Stars along the bottom, and users in each band on a log scale
Where the stars are
Languages
- Emacs Lisp 719 stars, 40% · 4 repos
- Python 434 stars, 24% · 1 repo
- HTML 331 stars, 18% · 1 repo
- Shell 152 stars, 8% · 1 repo
- Less 99 stars, 5% · 1 repo
When they were made
8 repos with 50+ stars, made between 2015 and 2020
Quick stats
- Next rank
- +1 star to reach #23,761
- Next milestone
- +8,049 stars to reach the top 1%
- Public repos
- 26, 8 with 50+ stars
- Popular repos
- 5 over 100 stars
- Top repo
- monospacifier, #142,663 of all repos, 24% of stars
- Smaller repos
- 82 stars from repos under 50