Block or report user

Report or block jorendorff

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Nashville, TN

Organizations

@NashFP @nashjs

Popular repositories

  1. talks

    Some talks I've given

    Haskell 74 2

  2. js-loaders

    Pseudoimplementation of the proposed ES6 module loaders.

    JavaScript 55 9

  3. es-spec-html

    An HTML version of the ECMAScript draft specification autogenerated from the source

    HTML 49 19

  4. cell-gc

    A very small GC in Rust, with a safe API

    Pascal 33 3

  5. peeredit

    A toy collaborative text editor to illustrate CRDTs.

    JavaScript 19 1

  6. rust-raytrace

    Rust implementation of "Ray Tracing In One Weekend" by Peter Shirley

    Rust 14

173 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri
Learn how we count contributions.
Less
More

Contribution activity
Jump to

August - September 2018

jorendorff has no activity yet for this period.

July 2018

Created an issue in Microsoft/dafny that received 2 comments

Type check bug: can't compare `string` < `seq<char>`

Dafny rejects this code (rise4fun permalink): method PrecedesAll(x: string, values: seq<string>) returns (found: bool) { var i := 0; while i < |val…

2 comments

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