ollef

Olle Fredriksson Joined Feb 2010 341 followers View on GitHub

Stars
1,938
across 42 public repos
Rank
#22,231
of 327,680 users, top 7%

Repositories with 50+ stars

ollef's repositories with their overall rank
RankRepositoryLanguageStars
83,371

Functional programming with fewer indirections

Haskell 785
161,116

Parsing all context-free grammars using Earley's algorithm in Haskell.

Haskell 378
210,473

Dependent type checker using normalisation by evaluation

Haskell 278
372,174

Build system

Haskell 140
385,685

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

Haskell 134

Among 327,680 users

1.6k–2.5k stars: 9,988 users, including ollef

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

Where the stars are

Languages

  1. Haskell 1.7k stars, 88% · 5 repos

When they were made

5 repos with 50+ stars, made between 2013 and 2019

Quick stats

Next rank
+1 star to reach #22,220
Next milestone
+7,914 stars to reach the top 1%
Public repos
42, 5 with 50+ stars
Popular repos
5 over 100 stars
Top repo
sixten, #83,371 of all repos, 41% of stars
Smaller repos
223 stars from repos under 50

Stars counted Recounted daily Next count around