Rankings
Badges
/
davdar
Rankings
Badges
Overview
Ranks
Repositories
Languages
David Darais
@davdar
Refresh
Open GitHub
🇺🇸 Salt Lake City, UT
Galois, Inc.
Profile age: over 14 years
Updated 13 days ago
58 followers • 0 following
Contacts
david.darais@gmail.com
david.darais.com
@daviddarais
Organizations
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Expert 2
Persona
Influencer
#450,288
#1,524,410
#226,416
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
maam
18
3
updated about 10 years ago • age about 11 years
Haskell
100.0%
parsing-with-derivatives-haskell
12
1
updated about 10 years ago • age about 10 years
Haskell
100.0%
redex-workshop-2015-ott
3
0
updated over 10 years ago • age over 10 years
Racket
100.0%
dotfiles
3
2
updated over 1 year ago • age over 10 years
Emacs Lisp
41.0%
HTML
26.4%
sed
14.9%
TeX
9.9%
CoffeeScript
7.8%
darais-unicode-input
1
0
updated 11 months ago • age over 1 year
HTML
56.5%
CoffeeScript
16.7%
sed
14.0%
Nix
6.7%
Haskell
6.1%
View all 6 repositories
Last Contributions
2023
PrivacyEngCollabSpace
1 PR
+4,345
-0
Python
271
140
2021
PrivacyEngCollabSpace
1 PR
+22
-0
Python
271
140
2020
PrivacyEngCollabSpace
1 PR
+19
-0
Python
271
140
2019
PrivacyEngCollabSpace
1 PR
+22
-0
Python
271
140
PLGradSchools
1 PR
+12
-0
234
35
View all contributions
Latest Updates
19 Oct 2025
Followers Count:
55
58
05 Jan 2025
First seen
Subscribe to davdar's GitHub rank updates in your messenger
WhatsApp
Telegram
