@Certora
Freiburg, Germany
159
Followers
0
Following
49
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 6 owned repositories
1.4M
Total LOC
HTML
749,078 lines
55.0%
N/A
JavaScript
198,254 lines
14.6%
N/A
Python
171,189 lines
12.6%
N/A
Lean
80,795 lines
5.9%
N/A
C
42,136 lines
3.1%
N/A
Other
120,243 lines
8.8%
N/A
T
T-Shaped Developer
T-shapedDeep in HTML with broad versatility
HTML
JavaScript
Python
Lean
C
Collaboration Network
Global Impact visualization
Repos
85
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
261
Contributions
202
Commits
18
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Following
0 total
Not following anyone yet.
Synced via GitHub
Top Repositories
mempool
Bitcoin Mempool Statistics
346
97
JavaScript
Hantek6022API
Hantek 6022BE Python API for Windows and Linux.
13
3
Assembly
trezor-mcu
Sources for TREZOR firmware
4
1
C
lightningnetworkstores.github.io
Repository of lightning network stores
1
0
HTML
eth-playground
1
0
electrum
Electrum; Bitcoin thin client
1
0
Python
icfp2011
Icfp Contest 2011 - Submission Joho
1
0
Haskell
passwordmaker
0
0
HTML
proofvisualizer
Visualize huge S-Expressions
0
0
TypeScript
silo-contracts-v2
Monorepo for Silo Protocol contracts V2
0
0
Solidity
Open Source Impact
Contributions to external projects
232 merged PRs
spesmilo/electrum
8500
ultimate-pa/smtinterpol
72
SMT-COMP/smt-comp.github.io
12
Certora/Examples
206
morpho-org/vault-v2
89
morpho-org/midnight
83
Certora/cvl-move-proto
3
Certora/sui-fork
0
Contributed to 8 repositories