|
7 | 7 |
|
8 | 8 | <p align="left">Hello World!!</p> |
9 | 9 | ### |
10 | | -# __Hello there!__<img src="https://dkrn4sk0rn31v.cloudfront.net/2018/05/29070459/pixelart-octocat.gif" width="50"> |
11 | 10 |
|
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 | | - ``` |
| 11 | +  |
19 | 12 |
|
20 | | - |
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> |
39 | | -</div> |
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> |
57 | 13 | ### |
58 | 14 |
|
59 | 15 | <img src="https://raw.githubusercontent.com/CodeMayPy/CodeMayPy/output/snake.svg" alt="Snake animation" /> |
60 | 16 |
|
61 | 17 | ### |
62 | 18 |
|
63 | | -<div align="left"> |
64 | | - <img src="https://cdn.jsdelivr.net/gh/devicons/devicon/icons/python/python-original.svg" height="40" alt="python logo" /> |
65 | | -</div> |
66 | | - |
67 | | - |
68 | | -### |
69 | 19 |
|
70 | 20 |  |
71 | 21 |
|
|
0 commit comments