Eduardo Gomes

@Eduardogbg

Florianópolis, Brasil

Followers

Following

Public Repos

Private Repos

Language Breakdown

Lines of code distribution across 25 owned repositories

14.8M Total LOC

JavaScript

11,208,796 lines

75.5%

N/A

Solidity

1,517,108 lines

10.2%

N/A

TypeScript

1,357,061 lines

9.1%

N/A

Rust

293,437 lines

2.0%

N/A

HTML

178,033 lines

1.2%

N/A

Other

286,456 lines

1.9%

N/A

I-Shaped Developer

I-shaped

Specialist — deep expertise in JavaScript

JavaScript

Solidity

TypeScript

Rust

HTML

Collaboration Network

Global Impact visualization

LIVE

0 active collaborators

Repos

PRs

Growth

+18%

Top Collaborators

No collaborator data yet.

Coding Streak

Contribution activity over the past year

2 days

1,236

Contributions

226

Commits

Pull Requests

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun

Based on GitHub activity

Less

Followers 32

alfieguilalas15-creator

@alfieguilalas15-creator

Matteo

@MatteoMer

Gabriel Thom

@thomgabriel

Anderson

@alotth

Vlad

@vladfdp

View All

Following

18 total

Stephen Dolan

@stedolan

João Veiga

@veigajoao

Sora Suegami

@SoraSuegami

Maddiaa

@Maddiaa0

Waylon Jepsen ✨

@0xJepsen

View All Network

Synced via GitHub

Top Repositories

yummy anonimity set

Fixing bug disclosure's mechanism

2 2

Solidity

zkinet

arithmetizing interaction nets for use in zero-knowledge protocols

2 0

Lean

temis

near code-generation cli

Guia curto para LaTeX no Quora

1 0

HTML

vscode-issue-sample

A sample with the files necessary to reproduce a bug within Visual Studio Code

1 0

JavaScript

proven-zk

A support library for working with zero knowledge cryptography in Lean 4.

0 0

Lean

lampe

Extracting the semantics of Noir to Lean for formal verification

0 0

Lean

hol4-mcp

cursor and mcp tools for hol4

0 0

Python

Open Source Impact

Contributions to external projects

67 merged PRs

reilabs/proven-zk

reilabs/lampe

verifereum/vyper-hol

HOL-Theorem-Prover/hol4-mcp

plankevm/sir-lean

Contributed to 5 repositories