FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Original HTTPS Page]

thisthat (Giovanni Liva) · GitHub

Overview Repositories 66 Projects Packages Stars 51
38 followers · 1 following

Achievements

x4x3

Achievements

x4x3

Highlights

Organizations

Block or report thisthat

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.

Close all issues, pull requests, and discussions opened by this user Content in all repositories owned by your account will be closed.
Add an optional note
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. java-time-verification java-time-verification Public

    SAFE-RTSE tool which performs an abstract interpretation of Java code to solve time related errors

    Java

  2. asserting asserting Public

    Integrate formal verification into CI/CD pipelines

    Java

  3. open-telemetry/opentelemetry-java open-telemetry/opentelemetry-java Public

    OpenTelemetry Java SDK

    Java 2.4k 1k

  4. Go-to-TAC Go-to-TAC Public

    Front end compiler into Three Address Code for Golang

    Haskell

  5. TT-FFX TT-FFX Public

    Raspberry + Kinect + FFX

    C# 1

  6. YALE-Matrix-Addition YALE-Matrix-Addition Public

    pthread multiplication/sum of a YALE matrices

    TeX

Back | FazBrowse Home | New Git URL