Rankings
Badges
/
dewert99
Rankings
Badges
Overview
Ranks
Repositories
Languages
David Ewert
@dewert99
Refresh
Open GitHub
🇨🇦 Vancouver, Canada
Profile age: almost 8 years
Updated 9 days ago
7 followers • 0 following
Contacts
in/dewert99
Profile Overview
Global
Canada
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Advanced 3
Persona
Contributor
#886,163
#567,650
#1,636,732
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
plat-smt
6
0
2
updated 24 days ago • age over 1 year
SMT
100.0%
Rust
0.0%
creusot-experiments
4
0
updated over 2 years ago • age about 3 years
Rust
100.0%
plat-egg
1
0
updated 10 months ago • age almost 2 years
Rust
99.8%
Makefile
0.2%
rust-horn-belt
0
0
updated almost 2 years ago • age over 2 years
Coq
99.9%
Makefile
0.1%
platsat
0
0
updated 10 months ago • age over 1 year
Rust
79.5%
C
19.4%
Makefile
0.9%
Common Lisp
0.2%
View all 9 repositories
Last Contributions
2025
ambassador
1 PR
+33
-5
Rust
275
14
2024
creusot
~19 PRs
+171
-28
Rust
1,350
60
7
ambassador
~9 PRs
+190
-77
Rust
275
14
gungraun
1 PR
+665
-374
Rust
171
18
29
stackbox.rs
2 PRs
+307
-492
Rust
24
3
6
View all contributions
Subscribe to dewert99's GitHub rank updates in your messenger
WhatsApp
Telegram
