Skip to content
View tjj2017's full-sized avatar

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2

Block or report tjj2017

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

Popular repositories Loading

  1. hello-world hello-world Public

    Learn to use GitHub

  2. gnat2goto gnat2goto Public

    Forked from diffblue/gnat2goto

    GNAT 2 GOTO Converter

    Ada

  3. cbmc cbmc Public

    Forked from diffblue/cbmc

    C Bounded Model Checker

    C++

  4. misc misc Public

    Experiments and Trials

    Ada

  5. UKNI-Information-Barrier UKNI-Information-Barrier Public

    Forked from martin-cs/UKNI-Information-Barrier

    Ada

  6. meeting-3-4-sep-19 meeting-3-4-sep-19 Public

    Ada