Rankings
Badges
/
franck44
Rankings
Badges
Overview
Ranks
Repositories
Languages
Franck
@franck44
Refresh
Open GitHub
🇦🇺 Sydney
Profile age: about 10 years
Updated 6 days ago
35 followers • 0 following
Contacts
https://franck44.github.io
Repositories
evm-dis
51
10
3
updated 10 months ago • age about 2 years
Dafny
99.3%
C#
0.3%
Python
0.2%
Vyper
0.1%
Solidity
0.0%
yul-dafny
5
1
updated almost 2 years ago • age about 2 years
Dafny
66.4%
Yul
32.1%
Solidity
1.6%
Contributions
2024
MIP
2 PRs
+1,000
-7
Shell
17
23
2023
evm-dafny
1 PR
+8
-3
Dafny
131
9
mantle-token-contracts
1 PR
+68
-14
Solidity
11
5
2022
evm-dafny
~32 PRs
+797
-429
Dafny
131
9
2021
deposit-sc-dafny
1 PR
+400
-244
Dafny
22
3
2020
lets-prove-blocking-queue
1 PR
+171
-0
Dafny
43
5
py-ssz
1 PR
+32
-4
Python
35
25
deposit-sc-dafny
1 PR
+6,949
-330
Dafny
22
3
2018
benchexec
1 PR
+4
-0
Python
270
214
66
