Pinned Loading

1. UserGuided-SymbolicExecution UserGuided-SymbolicExecution Public

   A framework for user-guided symbolic execution (with visualization) of LLVM Bitcode. A demo of the project can be viewed at https://www.youtube.com/watch?v=0VNe4BjjF90

   C++ 6 1

2. Parallel-ConvNet Parallel-ConvNet Public

   A parallel implementation of the forward phase of convolutional neural nets, written in CUDA C.

   CMake 1

3. graph-draw graph-draw Public

   Code for drawing graphs, written in octave

   MATLAB

4. Reversi Reversi Public

   A reversi web app written using socketio as part of a course assignment

   JavaScript

5. Colorflood Colorflood Public

   The popular colorflood game, written in Python using Tkinter. Users can play by themselves and compare with different pre-written strategies.

   Python

6. Checkers Checkers Public

   A checkers app for android where users can play against AI opponents of varying difficulty levels.

   Java 1 1