Block or report user

Report or block atondwal

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse

Organizations

@tjsysadmins @ucsd-progsys @OPLSS

Popular repositories

  1. ath10k-firmware

    Groff 5

  2. opendocs

    Open Web Documents

    JavaScript 3 2

  3. tensors

    Lecture on Co-and Contra- variance.

    2

  4. rubiks

    Rubik's cube unscrambling demonstration in mathematica

    Objective-C 2

  5. Residue-Theory

    Residue Theory Lecture Notes for Physics Team, April Fools' Day 2011

    1

  6. twitter-scipts

    These are some scripts I wrote in order to tweet stuff on either of my clipboard buffers or my gtalk status.

    JavaScript 1

141 contributions in the last year

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

Contribution activity

July 2018

atondwal has no activity yet for this period.

June 2018

Created an issue in ucsd-progsys/liquid-fixpoint that received 10 comments

Incorrect solution with duplicate binders

Deleting binder 30 (unused) from the following makes it safe: qualif Auto(y : int, x : int): ((x <= y)) // "/home/atondwal/src/liquidhaskell/tests/…

10 comments

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