Skip to content
View v1ct0r-byte's full-sized avatar
🎯
Focused
🎯
Focused
11 followers · 17 following

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report v1ct0r-byte

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. Paseico Paseico Public

    Forked from Juvemanu/Paseico

    Java

  2. SentimentAnalysisSpotify SentimentAnalysisSpotify Public

    Data Science Project in the use of APIs and sentiment analysis on the songs of the user's playlists using python.

    Jupyter Notebook 2

  3. PQC-in-Maude PQC-in-Maude Public

    Repository holding code specifications of post-quantum protocols for their formal verification.

    2 1

  4. Protocol-Dialects-as-Formal-Patterns Protocol-Dialects-as-Formal-Patterns Public

    Repository with Maude specifications implementing the novel idea of Protocol Dialects as Formal Patterns. Specifically, the repository presents a formal semantics of dialects as formal patterns, i.…

    1