Skip to content
View utting's full-sized avatar
15 followers · 2 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report utting

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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. uqcyber/veriopt-releases uqcyber/veriopt-releases Public

    Verifying the optimization phases of the GraalVM compiler

    Isabelle 11 1

  2. uqcyber/graal uqcyber/graal Public

    Forked from oracle/graal

    GraalVM: Run Programs Faster Anywhere 🚀

    Java 2 2

  3. PHILAE-PROJECT/agilkia PHILAE-PROJECT/agilkia Public

    A Python Toolkit to Support AI-for-Testing

    Python 5

  4. uqcyber/VeriSmart uqcyber/VeriSmart Public

    Machine-checked formal verification of smart contracts for various blockchains.

    F*

  5. be24_watchface be24_watchface Public

    A WearOS WatchFace with a single 24-hour hand, to help you live 'slow' and keep in touch with nature.

    Java 1