Block or report user
  • Georgia Institute of Technology
  • Atlanta, GA



Pinned repositories

  1. libmdrsa

    A toy RSA implementation in C using Accelerate.framework

    C 4

  2. system-lk

    A propositional theorem prover in Swift.

    Swift 4

  3. ImageCompressionWithSVD

    An experiment in compressing images using Singular Value Decomposition.

    Swift 11

  4. lampert

    An implementation of the FOL minimization procedure described in Lampert (2017).


  5. Logic

    Forked from DAHeath/Logic


  6. lc3-assembler

    LC-3 Assembler in Swift

    Swift 1 1

166 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

May 2018

2 contributions in private repositories May 5 – May 20

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