Language Breakdown
Lines of code distribution across 10 owned repositories
2.5M
Total LOC
Coq
2,139,113 lines
85.2%
N/A
Processing
90,715 lines
3.6%
N/A
Rust
80,601 lines
3.2%
N/A
Java
75,552 lines
3.0%
N/A
Python
39,616 lines
1.6%
N/A
Other
85,605 lines
3.4%
N/A
I
I-Shaped Developer
I-shapedSpecialist — deep expertise in Coq
Coq
Processing
Rust
Java
Python
Collaboration Network
Global Impact visualization
Repos
16
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
3 days
193
Contributions
108
Commits
56
Pull Requests
Jun
Jul
Aug
Sep
Oct
Nov
Dec
Jan
Feb
Mar
Apr
May
Jun
Mo
We
Fr
Based on GitHub activity
Less
More
Top Repositories
petros-marko.github.io
My personal website
0
0
HTML
verify-rust-std
Verifying the Rust standard library
0
0
Rust
synth-lemma-instantiations
Synthesizing lemma instantiations in flux
0
0
Rust
tie-policies-to-code
0
0
Rust
plf
0
0
Coq
lf
0
0
Coq
lambda-calculus
0
0
Haskell
credit-card-approvals-ml
Using Machine Learning to predict credit card approvals without gender bias.
0
0
Python
linguistics-continuations
Final project for COGS 224: Intro to Formal Linguistics. Using the Continuation Monad to avoid subject and object raising for quantifier noun phrases.
0
0
Haskell
lehmer_codes
A set of functions to generate permutations of a character array using Lehmer Codes.
0
0
C
Open Source Impact
Contributions to external projects
50 merged PRs
Contributed to 4 repositories