Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
untainsYD committed Dec 9, 2022
1 parent c72840f commit 74b1f4b
Showing 1 changed file with 20 additions and 21 deletions.
41 changes: 20 additions & 21 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,30 +1,29 @@
# About me
![untains](https://komarev.com/ghpvc/?username=untainsYD&color=7e3ace&style=flat-square&label=Shalom+, +lads)

<h1 title="untainsYD">
Shalom, lads
</h1>
<a href="https://www.linkedin.com/in/untainsyd/">![LinkedIn](https://img.shields.io/badge/LinkedIn-0077B5?style=for-the-badge&logo=linkedin&logoColor=white)</a>
<a href="mailto:untainsyd@gmail.com">![Gmail](https://img.shields.io/badge/Gmail-D14836?style=for-the-badge&logo=gmail&logoColor=white)</a>
<a href="mailto:untains@protonmail.ch">![Proton](https://img.shields.io/badge/ProtonMail-8B89CC?style=for-the-badge&logo=protonmail&logoColor=white)</a>
<a href="https://t.me/untainsYD">![Telegram](https://img.shields.io/badge/Telegram-2CA5E0?style=for-the-badge&logo=telegram&logoColor=white)</a>
<a href="https://discord.com/users/603921551963848704">![Discord](https://img.shields.io/badge/Discord-7289DA?style=for-the-badge&logo=discord&logoColor=white)</a>

![untains](https://komarev.com/ghpvc/?username=untainsYD&color=7e3ace&style=flat-square&label=MY+PROFILE+VIEWS)
<!--
<a href="NONE">![Matrix](https://img.shields.io/badge/matrix-000000?style=for-the-badge&logo=Matrix&logoColor=white)</a>
<a href="NONE">![Coffee](https://img.shields.io/badge/Buy_Me_A_Coffee-FFDD00?style=for-the-badge&logo=buy-me-a-coffee&logoColor=black)</a>
<a href="NONE">![Twitter](https://img.shields.io/badge/Twitter-1DA1F2?style=for-the-badge&logo=twitter&logoColor=white)</a>
-->

<br />
I am experienced in backend development with Java and Scala and frontend development with JavaScript.<br>
Also, I am interested in Functional Programming and know at least 3 fp langs (OCaml, Haskell, Idris).<br>
I have strong knowledge in curricula like algorithms and data structures, formal verification, proofs, type theory (λ, HTT, DTT, etc), category theory, abstract algebra, and other further mathematics topics and theoretical computer science that helps me in my software engineering workflow.

[![trophy](https://github-profile-trophy.vercel.app/?username=untainsYD&theme=dracula&rank=SECRET,SSS,SS,S,AAA,AA,A,B,C&row=5&column=4&margin-w=20&margin-h=15)](https://github-profile-trophy.vercel.app/?username=untainsYD&theme=dracula&rank=SECRET,SSS,SS,S,AAA,AA,A,B,C&row=5&column=4&margin-w=20&margin-h=15)

<br />
Open for friendship!

## Stats
![trophy](https://github-profile-trophy.vercel.app/?username=untainsYD&theme=dracula&rank=SECRET,SSS,SS,S,AAA,AA,A,B,C&row=5&column=4&margin-w=20&margin-h=15)

<br />

![untainsYD GitHub stats](https://github-readme-stats.vercel.app/api?username=untainsYD&show_icons=true&theme=jolly&layout=compact&line_height=35%&hide_border=true&border_radius=20px&include_all_commits=true&count_private=true&show_owner=true&custom_title=Yarosλaβ+.+/+untainsYD+Github+Stats)

<br />

[![GitHub Streak](https://github-readme-streak-stats.herokuapp.com/?user=untainsYD&theme=dark&theme=jolly&layout=compact&line_height=35%&hide_border=true&border_radius=20px)](https://github-readme-streak-stats.herokuapp.com/?user=untainsYD&theme=dark&theme=jolly&layout=compact&line_height=35%&hide_border=true&border_radius=20px)

<br />

## Langs
![untainsYD GitHub stats](https://github-readme-stats.vercel.app/api?username=untainsYD&show_icons=true&theme=jolly&layout=compact&line_height=35%&hide_border=true&border_radius=0&include_all_commits=true&count_private=true&show_owner=true&custom_title=Yarosλaβ+.+/+untainsYD+Github+Stats)

<br />
![GitHub Streak](https://github-readme-streak-stats.herokuapp.com/?user=untainsYD&theme=dark&theme=jolly&layout=compact&line_height=35%&hide_border=true&border_radius=0&mode=weekly)

[![Top Langs](https://github-readme-stats.vercel.app/api/top-langs/?username=untainsYD&theme=jolly&layout=compact&line_height=35%&hide_border=true&border_radius=20px)](https://github-readme-stats.vercel.app/api/top-langs/?username=untainsYD&layout=compact&theme=jolly&langs_count=10)
![Langs](https://github-readme-stats.vercel.app/api/top-langs/?username=untainsYD&theme=jolly&layout=compact&line_height=35%&hide_border=true&border_radius=0)

0 comments on commit 74b1f4b

Please sign in to comment.