conal
Conal Elliott Joined Sept 2010 1,058 followers View on GitHub
- Stars
- 2,217
- across 94 public repos
- Rank
- #19,308
- of 327,323 users, top 6%
Repositories with 50+ stars
| Rank | Repository | Language | Stars |
|---|---|---|---|
| 147,447 | A keynote talk for LambdaJam 2015 (July 15--16) | TeX | 418 |
| 275,833 | The simple essence of automatic differentiation | TeX | 201 |
| 351,671 | Convert lambda expressions to CCC combinators | Haskell | 150 |
| 418,352 | Talk material for LambdaJam 2014/2015 on denotational design | TeX | 121 |
| 421,090 | Play/learn/work with me | 120 | |
| 475,179 | Denotational Design: from programs to meanings | TeX | 103 |
| 510,435 | Trie-based memo functions | Haskell | 94 |
| 674,851 | Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?" | TeX | 66 |
| 717,361 | Agda category theory library for denotational design | Agda | 61 |
| 756,664 | From Haskell to Hardware via CCCs | TeX | 57 |
| 756,664 | Paper and talk | TeX | 57 |
| 813,631 | "A Functional Reboot for Deep Learning", an invited talk for Summer BOB 2019 in Berlin | TeX | 52 |
| 838,817 | Vector & affine spaces, linear maps, and derivatives | Haskell | 50 |
Among 327,323 users
1.6k–2.5k stars: 9,999 users, including conal
Stars along the bottom, and users in each band on a log scale
Where the stars are
Languages
- TeX 1.1k stars, 48% · 8 repos
- Haskell 294 stars, 13% · 3 repos
- Agda 61 stars, 3% · 1 repo
When they were made
13 repos with 50+ stars, made between 2012 and 2022
Quick stats
- Next rank
- +1 star to reach #19,302
- Next milestone
- +7,648 stars to reach the top 1%
- Public repos
- 94, 13 with 50+ stars
- Popular repos
- 6 over 100 stars
- Top repo
- talk-2015-essence-and-origins-of-frp, #147,447 of all repos, 19% of stars
- Smaller repos
- 667 stars from repos under 50