Skip to content
View karineek's full-sized avatar
19 followers · 38 following

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@llvm

Block or report karineek

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. CsmithEdge CsmithEdge Public

    A study of the effect of relaxing too conservative conditions for generating UB-free compiler test-cases of Csmith’s code-generation and code-execution time solutions.

    C 15

  2. SearchGEM5 SearchGEM5 Public

    Testing System Simulators Project

    C 3

  3. KEM_CodeU_Assignments KEM_CodeU_Assignments Public

    Karine EM CodeU 2017: Assignments

    Java

  4. latticeref latticeref Public

    Lattice Refinement Algorithms and Benchmarks

    C

  5. graphicsfuzz graphicsfuzz Public

    Forked from google/graphicsfuzz

    A testing framework for automatically finding and simplifying bugs in graphics shader compilers.

    Java

  6. csmith csmith Public

    Forked from csmith-project/csmith

    Csmith, a random generator of C programs

    C++