Skip to content
View vtramo's full-sized avatar
9 followers · 6 following
  • Naples, Italy
  • 17:28 (UTC +02:00)

Block or report vtramo

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

Pinned Loading

  1. rtl-mcrtl-mcPublic

    Model Checking Linear Temporal Properties on Polyhedral Systems - Master's Thesis in Computer Science

    C++

  2. async-tracerouteasync-traceroutePublic

    Async Traceroute library/command-line tool in Rust

    Rust 3 2

  3. k8s-job-webhooksk8s-job-webhooksPublic

    A K8S client application that monitors Jobs and triggers webhooks upon Job completion.

    Rust 4

  4. turing-machine-simulatorturing-machine-simulatorPublic

    A Turing machine simulator written in Java

    Java 9

  5. neural-networks-experiments-from-scratchneural-networks-experiments-from-scratchPublic

    The objective of this repository is to provide a learning and experimentation environment to better understand the details and fundamental concepts of neural networks by building neural networks fr…

    Python 1

  6. na-tourna-tourPublic

    A modern social network for hikers

    Kotlin 4 1