Skip to content
View cosmincalinov's full-sized avatar
12 followers · 18 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report cosmincalinov

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
cosmincalinov/README.md
  • 👋 Hi, I’m @cosmincalinov
  • 👀 I’m interested in Rust, Formal Verification and Programming Language Theory.
  • 🌱 I’m currently learning Formal Verification.
  • 💞️ I’m looking to collaborate on an open-source project.
  • 😄 Pronouns: He/Him
  • ⚡ Fun fact: I am a scout ⚜️.

Popular repositories Loading

  1. DiscoRobot DiscoRobot Public

    Rust 2

  2. Spotify Spotify Public

    Trying to emulate some Spotify functions using oop concepts.

    C++

  3. Scoutshop_test Scoutshop_test Public

    Trying to remake the scoutshop site.

    HTML

  4. Matrix_Calculator Matrix_Calculator Public

    Implementing matrix algorithms in C via a CLI

    C

  5. Tower_of_Pisa Tower_of_Pisa Public

    Made the tower of Pisa in AutoCAD

  6. Spotify_DB Spotify_DB Public

    Made a Spotify database with MySql and a CLI interface for it in Python