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
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%
default_vec2
0
0
updated 11 months ago • age 11 months
Rust
100.0%
ambassador
0
0
updated over 1 year ago • age almost 4 years
Rust
100.0%
silver
0
0
updated over 2 years ago • age almost 4 years
Scala
99.2%
Python
0.7%
TeX
0.1%
carbon
0
0
updated over 2 years ago • age over 3 years
Scala
76.0%
Boogie
23.8%
Batchfile
0.2%
Shell
0.1%
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
paranext-core
2 PRs
+9,019
-7,193
TypeScript
22
9
13
smt-comp.github.io
1 PR
+35
-0
HTML
6
34
owned-drop
1 PR
+61
-8
Rust
2
1
2023
serde
1 PR
+230
-11
Rust
10,084
862
321
egg
2 PRs
+137
-65
Rust
1,581
176
Show more
