nick8325

Nick Smallbone Joined Jul 2009 116 followers View on GitHub

Stars
1,304
across 26 public repos
Rank
#32,801
of 327,612 users, top 11%

Repositories with 50+ stars

nick8325's repositories with their overall rank
RankRepositoryLanguageStars
82,549

Automatic testing of Haskell programs.

Haskell 793
214,487

Equational laws for free

Haskell 272
542,781

A FUSE filesystem wrapper for the reMarkable tablet

Python 87
717,566

(now moved to Codeberg) An equational theorem prover based on Knuth-Bendix completion

Haskell 61

Among 327,612 users

1k–1.6k stars: 15,393 users, including nick8325

Stars along the bottom, and users in each band on a log scale

Where the stars are

Languages

  1. Haskell 1.1k stars, 86% · 3 repos
  2. Python 87 stars, 7% · 1 repo

When they were made

4 repos with 50+ stars, made between 2012 and 2018

Quick stats

Next rank
+1 star to reach #32,771
Next milestone
+2 stars to reach the top 10%
Public repos
26, 4 with 50+ stars
Popular repos
2 over 100 stars
Top repo
quickcheck, #82,549 of all repos, 61% of stars
Smaller repos
91 stars from repos under 50

Stars counted Recounted daily Next count around