Rankings
Badges
/
DavePearce
Rankings
Badges
Overview
Ranks
Repositories
Languages
David Pearce
@DavePearce
Refresh
Open GitHub
🇳🇿 New Zealand
ConsenSys
Profile age: about 15 years
Updated about 13 hours ago
164 followers • 6 following
Contacts
https://whileydave.com
@WhileyDave
@WhileyDave@hachyderm.io
Organizations
Repositories
DynamicTopologicalSort
17
4
updated almost 2 years ago • age over 7 years
C++
99.3%
Makefile
0.7%
FeatherweightRust
14
3
updated about 4 years ago • age almost 7 years
Java
100.0%
jkit
12
4
updated over 8 years ago • age over 14 years
Java
99.8%
Shell
0.1%
Slash
0.1%
Perl
0.0%
CSS
0.0%
jx86
12
4
updated about 6 years ago • age about 12 years
Java
100.0%
StronglyConnectedComponents
11
0
updated almost 6 years ago • age about 10 years
Java
100.0%
LeanEVM
10
0
updated over 1 year ago • age about 2 years
Lean
100.0%
JavaAVR
9
2
updated over 3 years ago • age over 7 years
Java
100.0%
SyntacticHeap.rs
5
1
updated about 2 years ago • age about 4 years
Rust
100.0%
DevmProofGen
1
2
updated about 1 year ago • age almost 3 years
Rust
100.0%
VerificationBenchmarks
0
0
updated about 4 years ago • age over 9 years
Java
100.0%
Show more - 10 of 11 shown
Contributions
2025
linea-monorepo
2 PRs
+262
-141
Go
95
122
169
linea-tracer
2 PRs
+4,462
-2,074
Java
55
46
133
linea-constraints
~28 PRs
+366
-412
Common Lisp
30
21
22
corset
3 PRs
+161
-17
Rust
19
14
21
go-corset
2 PRs
+1,030
-518
Go
9
9
39
2024
evm-dafny
~12 PRs
+254
-16
Dafny
133
9
linea-tracer
~57 PRs
+92
-32
Java
55
46
133
linea-constraints
3 PRs
+5
-7
Common Lisp
30
21
22
corset
~74 PRs
+43
-12
Rust
19
14
21
EvmIL
~6 PRs
+60
-38
Rust
13
3
Show more
