Skip to content
View ck624's full-sized avatar
Block or Report

Block or report ck624

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

    Forked from valeriobasile/learningbyreading

    Learning by Reading pipeline of NLP and Entity Linking tools

    C

  2. ikos ikos Public

    Forked from NASA-SW-VnV/ikos

    Static analyzer for C/C++ based on the theory of Abstract Interpretation.

    C++

  3. seahorn seahorn Public

    Forked from seahorn/seahorn

    SeaHorn Verification Framework

    C

  4. crab-llvm crab-llvm Public

    Forked from seahorn/clam

    Static Analyzer for LLVM bitcode based on Abstract Interpretation

    C

  5. crab crab Public

    Forked from seahorn/crab

    CoRnucopia of ABstractions: a language-agnostic library for abstract interpretation

    C++

  6. crab-clang crab-clang Public

    Forked from awruef/crab-clang

    translate clang AST into CRAB

    C++