Language Breakdown
Lines of code distribution across 4 owned repositories
1071.7M
Total LOC
SMT
1,071,615,744 lines
100.0%
N/A
Shell
29,535 lines
0.0%
N/A
Python
16,632 lines
0.0%
N/A
Dockerfile
3,238 lines
0.0%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in SMT
SMT
Shell
Python
Dockerfile
Collaboration Network
Global Impact visualization
Repos
44
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
5 days
680
Contributions
304
Commits
150
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
3 total
Synced via GitHub
Top Repositories
chc-benchmarks
Collection of CHC benchmarks in the format of CHC-COMP
2
0
SMT
fmcad22-artifact
1
0
SMT
smt-comp.github.io
0
0
HTML
chc-comp-2026
CHC-COMP'26 infrastructure and submissions
0
0
Python
solc.nix
Providing assorted versions of solidity compilers (solc).
0
0
Nix
echidna
Ethereum smart contract fuzzer
0
0
Haskell
registration
0
0
chc-comp25-scripts
Scripts used in CHC-COMP 2025
0
0
Python
chc-comp25-benchmarks
Benchmarks used in the 2025 CHC-COMP
0
0
SMT
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
0
0
Python
Open Source Impact
Contributions to external projects
716 merged PRs
argotorg/solidity
25661
SMT-COMP/smt-comp.github.io
12
usi-verification-and-security/opensmt
97
usi-verification-and-security/golem
51
argotorg/hevm
341
hellwolf/solc.nix
23
d3sformal/yaga
4
d3sformal/hornix
2
TermCOMP/registration
0
usi-verification-and-security/pychc
0
Contributed to 11 repositories