Skip to content
View delcypher's full-sized avatar

Highlights

  • Pro

Organizations

@halide @iccsw @stp @symbooglix @boogie-org @sv-comp @sosy-lab

Block or report delcypher

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. srg-llvm-pass-tutorial srg-llvm-pass-tutorial Public

    Code used in a short tutorial on LLVM passes for the Software Reliablity Group (SRG) at Imperial

    C++ 19 4

  2. cmake-tutorial cmake-tutorial Public

    Demonstration of CMake for Imperial ACM student chapter tutorial

    C++ 18 3

  3. fosdem-2012-implementing-domain-specific-languages-with-llvm fosdem-2012-implementing-domain-specific-languages-with-llvm Public

    A copy of the code used to demonstrate implementing a DSL at a talk given at FOSDEM2012

    C 16 3

  4. nsolv nsolv Public

    Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.

    C++ 10

  5. docker-stats-on-exit-shim docker-stats-on-exit-shim Public

    Simple tool to record Docker container statistics before its destruction

    Go 10 4

  6. simi-qt simi-qt Public

    M.Sc. group project: Structure identification in medical imaging using VTK and Qt

    C++ 8 1