Language Breakdown
Lines of code distribution across 1 owned repositories
218K
Total LOC
Rocq Prover
217,217 lines
99.8%
N/A
Makefile
337 lines
0.2%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Rocq Prover
Rocq Prover
Makefile
Collaboration Network
Global Impact visualization
Repos
6
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
18
Contributions
0
Commits
0
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
263 total
Vadim
@varasev
Andrew Gross
@andogro
Abhinav Jha
@AbhinavXJ
Ryan Kurtz
@ryanmkurtz
Aykut Saraç
@AykutSarac
Synced via GitHub
Top Repositories
so4t_api_import
1
0
Python
ton-connect
1
0
awesome-solana-ai
Public repo of AI tooling to help build on Solana
1
0
rocq_zkvm_tactics
Work for the Ethereum Foundation zkvm rocq tactic grants
1
0
Rocq Prover
cdp_wallet_secret.txt
The Advanced API Python SDK is a Python package that makes it easy to interact with the Coinbase Advanced API. The SDK handles authentication, HTTP connections, and provides helpful methods for interacting with the API.
1
0
Python
proof-of-reserves-
https://github.com/BitgetLimited/proof-of-reserves.git
1
0
Java
Open Source Impact
Contributions to external projects
0 merged PRs
creativecommons/global-network-strategy
367
blockscout/blockscout
4566
dgfug/delete
5
immich-app/immich
103253
BitgetLimited/proof-of-reserves
452
coinbase/coinbase-advanced-py
347
Contributed to 6 repositories