Skip to content


  • Arctic Code Vault Contributor


  1. Optimize floating-point expressions for accuracy

    HTML 436 22

  2. A CSS specification and reasoning engine

    Racket 69 1

  3. A standard for floating point accuracy benchmarks

    Racket 24 10

  4. Laboratory for bit-rate selection algorithms

    C 4 7

  5. Dropbox for Emacs

    Emacs Lisp 52 9

1,465 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Oct Mon Wed Fri
Activity overview
Contributed to uwplse/herbie, pavpanchekha/emberfox, uwplse/Cassius and 5 other repositories

Contribution activity

October 2020

Created a pull request in pavpanchekha/emberfox that received 1 comment

Pass on the Layout chapter

This is a kind of first attempt at improving the layout chapter, but I'm not thrilled with it. The biggest changes from the last time around are: …

+1,461 −746 1 comment

Created an issue in pavpanchekha/dropbox.el that received 3 comments

Not working

I got this issue over email a year ago. Well, I'm obviously not working on, let's leave it as an issue instead. It's a pity, it's one of the best b…

1 contribution in private repositories Oct 12

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

You can’t perform that action at this time.