Rankings
Badges
/
leonardoalt
Rankings
Badges
Overview
Ranks
Repositories
Languages
Leo
@leonardoalt
Refresh
Open GitHub
null
@powdr-labs
Profile age: almost 15 years
Updated 9 days ago
589 followers • 0 following
Contacts
@leonardoalt
Organizations
Repositories
ethereum_formal_verification_overview
335
35
updated 8 months ago • age almost 7 years
yools
138
6
updated over 2 years ago • age over 3 years
SMT
77.5%
Rust
20.8%
Yul
1.7%
fusion
117
5
2
updated over 1 year ago • age almost 3 years
Rust
91.1%
Solidity
7.2%
Shell
1.7%
dl_symb_exec_sol
111
6
updated about 3 years ago • age over 3 years
Solidity
100.0%
tinyzkevm
46
2
updated about 4 years ago • age over 4 years
Python
49.6%
Shell
33.7%
Assembly
16.6%
sol-macros
33
1
updated about 3 years ago • age about 3 years
Solidity
69.9%
C
30.1%
sol_generic_vector
27
0
updated over 3 years ago • age over 3 years
Solidity
100.0%
powdr-brainfuck
17
2
updated about 1 year ago • age over 1 year
Assembly
44.3%
Rust
33.1%
Python
18.3%
Brainfuck
4.3%
SolPrologV2
16
5
updated over 3 years ago • age over 5 years
Solidity
100.0%
evm
16
0
updated about 2 years ago • age over 2 years
Rust
100.0%
Show more - 10 of 28 shown
Contributions
2025
powdr
~58 PRs
+38
-27
Rust
474
119
5
womir
2 PRs
+115
-63
WebAssembly
16
5
womir-openvm
~48 PRs
+1,968
-1,447
Rust
5
2
website
~6 PRs
+207
-5
TypeScript
3
1
2024
risc0
1 PR
+4
-0
C++
2,007
653
82
powdr
~158 PRs
+35
-63
Rust
474
119
5
halo2curves
1 PR
+1
-1
Rust
218
169
7
eigen-zkvm
2 PRs
+4
-4
Rust
141
41
5
any-zkvm
1 PR
+232
-1
Rust
55
3
polyexen
1 PR
+113
-157
Rust
35
9
Show more
