Rankings
Badges
/
shmish111
Rankings
Badges
Overview
Ranks
Repositories
Languages
David Smith
@shmish111
Refresh
Open GitHub
🇬🇧 London
Claimer
Profile age: over 14 years
Updated 10 days ago
22 followers • 0 following
Contacts
shmish111+github@gmail.com
http://shmish111.github.io/
Repositories
hriemann
8
3
updated almost 5 years ago • age about 9 years
Haskell
100.0%
smoke-hill
8
0
updated almost 5 years ago • age almost 7 years
Nix
100.0%
servant-purescript
4
3
updated almost 5 years ago • age about 7 years
Haskell
97.9%
Nix
2.1%
degenerate
4
2
updated about 9 years ago • age over 9 years
Clojure
100.0%
lein-git-version
2
1
updated about 9 years ago • age over 9 years
Clojure
100.0%
purescript-foreign-generic
1
5
updated about 5 years ago • age over 6 years
PureScript
100.0%
purescript-bridge
1
4
updated about 4 years ago • age over 6 years
Haskell
98.1%
Nix
1.9%
shmish111.github.io
1
0
updated over 6 years ago • age over 11 years
HTML
100.0%
bitbucket-webhooks-plugin
0
0
updated over 8 years ago • age almost 9 years
Java
91.3%
HTML
8.7%
nixpkgs
0
0
updated over 6 years ago • age over 7 years
Nix
95.4%
Shell
2.9%
Perl
0.7%
Ruby
0.6%
C
0.5%
Show more - 10 of 11 shown
Contributions
2022
kestrel
2 PRs
+13
-14
Kotlin
5
4
2021
plutus
~19 PRs
+968
-9,889
Haskell
1,621
498
51
rms-open-letter.github.io
1 PR
+1
-0
TypeScript
601
1,507
kestrel
2 PRs
+25
-8
Kotlin
5
4
2020
Idris2
1 PR
+13
-0
Idris
2,766
395
6
plutus
2 PRs
+6,329
-91
Haskell
1,621
498
51
purescript-parsing
1 PR
+6
-1
PureScript
154
50
43
optparse-idris
1 PR
+159
-36
Idris
6
5
2019
plutus
2 PRs
+73
-10
Haskell
1,621
498
51
Idris2-boot
1 PR
+92
-0
Idris
900
56
Show more
