Budapest, Hungary
69
Followers
3
Following
31
Public Repos
0
Private Repos
Language Breakdown
Lines of code distribution across 23 owned repositories
4.2M
Total LOC
Haskell
1,744,899 lines
41.3%
N/A
C
1,134,552 lines
26.8%
N/A
JavaScript
399,015 lines
9.4%
N/A
C++
323,488 lines
7.6%
N/A
Idris
257,250 lines
6.1%
N/A
Other
369,922 lines
8.7%
N/A
T
T-Shaped Developer
T-shapedDeep in Haskell with broad versatility
Haskell
C
JavaScript
C++
Idris
Collaboration Network
Global Impact visualization
Repos
54
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
1 day
414
Contributions
151
Commits
2
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
toy-language-server
Example language server (LSP) implementation for a toy language
60
1
Haskell
nanohs
a self-hosting lambda calculus compiler
37
3
Haskell
hash-circuits
Hashing circuits implemented in circom
29
3
Haskell
slides
slides of some talks I gave
5
0
AOC
advent of code
4
0
Idris
combinat
Generate and manipulate various combinatorial objects
2
2
Haskell
compact-word-vectors
compact-word-vectors Haskell library: Small vectors of small integers
2
0
Haskell
stb-image-tmp
Haskell wrapper around Sean Barrett's stb_image C library
1
1
C++
eth4berlin
eth4berlin
1
0
C
poseidon2-miden
Poseidon2 hash implementation in Miden VM assembly
1
0
Haskell
Open Source Impact
Contributions to external projects
13 merged PRs
vacp2p/nim-libp2p
315
faulhornlabs/r1cs-solver
5
faulhornlabs/zikkurat-formats-binary
0
logos-storage/nim-poseidon2-bn254
1
logos-storage/logos-storage-proofs-circuits
3
logos-storage/logos-storage-pm-archived
5
logos-storage/nim-groth16
3
logos-co/logos-lips
7
faulhornlabs/zkp-landing
0
logos-storage/plonky2-verifier
4
Contributed to 19 repositories