Guilherme Dantas

@guidanoli

Open GitHub

🇧🇷 Rio de Janeiro, Brazil

PUC-Rio

Profile age: about 11 years

Updated 8 days ago

29 followers • 17 following

Repositories

luav

updated 6 months ago • age almost 5 years

Shell92.3%

Awk7.7%

thinkchain

updated 8 months ago • age 9 months

TypeScript43.2%

Solidity24.4%

Python18.9%

Shell8.4%

Dockerfile5.1%

cmioc

updated about 1 year ago • age over 1 year

MDX54.3%

TypeScript44.3%

Dockerfile1.5%

cptk

updated over 4 years ago • age about 5 years

Shell93.2%

Makefile6.8%

lupa-from-lua

updated over 4 years ago • age almost 5 years

Lua73.5%

C18.8%

CMake6.4%

Python1.3%

peg-coq

updated 2 months ago • age over 2 years

Rocq Prover100.0%

sudoku

updated almost 4 years ago • age almost 4 years

C94.9%

CMake5.1%

lua-algorithms

updated over 3 years ago • age over 3 years

Lua100.0%

Contributions

2025
machine-solidity-step
1 PR +4-4
Solidity
109
21
1
dave
~24 PRs +292-212
Rust
24
16
21
rollups-contracts
2 PRs +1,019-11
Solidity
24
45
33
builtins
1 PR +1-1
Makefile
0
1
12
2024
vocs
3 PRs +5-5
TypeScript
1,372
89
73
book
1 PR +1-1
Solidity
910
841
l2beat
1 PR +3-3
TypeScript
617
589
Coqtail
1 PR +2-1
Python
302
37
zkjson
1 PR +1-1
JavaScript
55
5
sunodo
2 PRs +78-0
TypeScript
31
28
86