Skip to content
View santoshn's full-sized avatar
31 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull SharkAchievement: Starstruck
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report santoshn

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

  1. alive-nj alive-nj Public

    Forked from rutgers-apl/alive-nj

    Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM

    Python

  2. alive alive Public

    Forked from nunoplopes/alive

    ALIVe: Automatic LLVM's Instcombine Verifier

    Python

  3. SoftBoundCETS-3.9 SoftBoundCETS-3.9 Public

    Experimental SoftBoundCETS for LLVM-3.9

    C++ 4 4

  4. softboundcets-34 softboundcets-34 Public

    SoftBoundCETS for LLVM+Clang version 34

    C++ 53 17

  5. mbedtls mbedtls Public

    Forked from Mbed-TLS/mbedtls

    An open source, portable, easy to use, readable and flexible SSL library

    C 1

  6. hardened-llvm hardened-llvm Public

    Forked from andreasdotorg/hardened-llvm

    C++ 1