|
6 | 6 |
|
7 | 7 |
|
8 | 8 | <p align="left">Hello World!!</p> |
9 | | - |
10 | 9 | ### |
| 10 | +# __Hello there!__<img src="https://dkrn4sk0rn31v.cloudfront.net/2018/05/29070459/pixelart-octocat.gif" width="50"> |
| 11 | + |
| 12 | + ## 👨 Sergio __Bonatto__ [](https://wakatime.com/@cc1782d9-eb26-4caf-976b-edaa140896a1) |
| 13 | + |
| 14 | + Let's get to know each other more, open your terminal and run: |
| 15 | + |
| 16 | + ```bash |
| 17 | + npx bonatto |
| 18 | + ``` |
| 19 | + |
11 | 20 |
|
12 | | -<div align="center"> |
13 | | - <img src="https://github-readme-stats.vercel.app/api?username=CodeMayPy&hide_title=false&hide_rank=false&show_icons=true&include_all_commits=true&count_private=true&disable_animations=false&theme=dracula&locale=en&hide_border=false&order=1" height="150" alt="stats graph" /> |
14 | | - <img src="https://github-readme-stats.vercel.app/api/top-langs?username=CodeMayPy&locale=en&hide_title=false&layout=compact&card_width=320&langs_count=5&theme=dracula&hide_border=false&order=2" height="150" alt="languages graph" /> |
| 21 | + * #### 🤓 - Formal proofs analyst at **Kind** at [**Higher Order Company**](https://github.com/HigherOrderCO/) |
| 22 | + |
| 23 | + * #### 💻 - Kind, HVM, Haskell, Rust, CSS, JavaScript, Reactjs, TypeScript, and Python |
| 24 | + |
| 25 | + * #### Contact me on Discord: `fibonatto`, originally `Bonatto#0001` |
| 26 | + |
| 27 | + |
| 28 | +<div style="margin-top: 3rem; display: flex; align-items: flex-start;"> |
| 29 | + <div> |
| 30 | + <a href="https://github.com/anuraghazra/github-readme-stats"> |
| 31 | + <img align="top" style="padding-top:2rem" src="https://github-readme-stats.vercel.app/api?username=sergiobonatto&show_icons=true&theme=transparent&show=prs_merged_percentage"/> |
| 32 | + </a> |
| 33 | + </div> |
| 34 | + <div> |
| 35 | + <a href="https://github.com/anuraghazra/github-readme-stats"> |
| 36 | + <img align="top" style="padding-top:2rem" src="https://github-readme-stats.vercel.app/api/wakatime?username=sergiobonatto&layout=compact&theme=transparent"/> |
| 37 | + </a> |
| 38 | + </div> |
15 | 39 | </div> |
16 | 40 |
|
| 41 | + |
| 42 | +<div style="justify-content: space-between; display: grid; grid-auto-flow: column;"> |
| 43 | + <a href="https://wakatime.com/@cc1782d9-eb26-4caf-976b-edaa140896a1"><img src="https://wakatime.com/badge/user/cc1782d9-eb26-4caf-976b-edaa140896a1.svg" alt="Total time coded since Sep 10 2019" /></a> |
| 44 | +<div style="display: flex; align-items: center; justify-content: center;"> |
| 45 | + <img src="https://img.icons8.com/color/50/000000/javascript--v2.png" style="margin-right: 1rem; width: 48px; height: 48px" /> |
| 46 | + <img src="https://img.icons8.com/color/48/haskell.png" alt="haskell" style="margin-right: 1rem; width: 48px; height: 48px" /> |
| 47 | + <img src="https://avatars.githubusercontent.com/u/36580762?s=200&v=4" alt="agda" style="margin-right: 1rem; width: 48px; height: 48px"> |
| 48 | + <img src="https://avatars.githubusercontent.com/u/164901787?v=4" alt="hoc" style="margin-right: 1rem; width: 48px; height: 48px"> |
| 49 | + <img src="https://www.svgrepo.com/show/373675/idris.svg" alt="idris" style="margin-right: 1rem; width: 48px; height: 48px"> |
| 50 | + <img src="https://img.icons8.com/color/48/rust-programming-language.png" alt="rust-programming-language" style="margin-right: 1rem; width: 48px; height: 48px"/> |
| 51 | + <img src="https://img.icons8.com/ios-filled/50/c96afc/c-sharp-logo.png" alt="c-sharp-logo" style="margin-right: 1rem; max-width: 48px; max-height: 48px "/> |
| 52 | + <img src="https://img.icons8.com/color/48/000000/python--v1.png" style="margin-right: 1rem; max-width: 48px; max-height: 48px"> |
| 53 | + <img src="https://img.icons8.com/color/48/000000/typescript.png" style="margin-right: 1rem; max-width: 48px; max-height: 48px"> |
| 54 | + <img src="https://img.icons8.com/external-tal-revivo-color-tal-revivo/48/000000/external-react-a-javascript-library-for-building-user-interfaces-logo-color-tal-revivo.png" style="margin-right: 1rem; width: 48px; height: 48px"> |
| 55 | +</div> |
| 56 | +</div> |
17 | 57 | ### |
18 | 58 |
|
19 | 59 | <img src="https://raw.githubusercontent.com/CodeMayPy/CodeMayPy/output/snake.svg" alt="Snake animation" /> |
|
24 | 64 | <img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/python/python-original.svg" height="40" alt="python logo" /> |
25 | 65 | </div> |
26 | 66 |
|
27 | | -### |
28 | | - |
29 | | -<div align="center"> |
30 | | - <img src="https://visitor-badge.laobi.icu/badge?page_id=CodeMayPy.CodeMayPy&left_color=aquamarine&right_color=darkblue" /> |
31 | | -</div> |
32 | 67 |
|
33 | 68 | ### |
34 | 69 |
|
|
0 commit comments