Block or report user

Report or block alextoughg

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Popular repositories

  1. symbolic-execution-tracer

    Draws an execution tree corresponding to the symbolic execution of a subset of the language described in the paper "Symbolic Execution and Program Testing" by James C. King.

    Racket 6 2

  2. run

    A video game for the visually impaired, based on the popular game "Temple Run". For Android 2.1 and above.

    Java 2 1

  3. klee

    Forked from klee/klee

    KLEE Symbolic Execution Engine

    C++ 1

  4. uva-online-judge-solved-problems

    Solved problems of UVa Online Judge


  5. data_structures

    Implementation of common data structures in C++.


  6. algorithms

    Classic algorithms applied to problem solving.


2 contributions in the last year

Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Mon Wed Fri

Contribution activity

September - December 2018

alextoughg has no activity yet for this period.

August 2018

Seeing something unexpected? Take a look at the GitHub profile guide.