Skip to content
Pro
Block or report user

Report or block nholland94

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse
Block or report user

Report or block nholland94

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. A clone of codepen.io

    CSS 4 5

  2. A 2D tile based dungeon generator written in APL

    APL 3

  3. A code-generated SPIR-V compiler for ocaml.

    OCaml 3

  4. A node.js component to CodePal with socket.io for pair programming

    CoffeeScript 1

  5. A petri net library for ocaml

    OCaml 1

583 contributions in the last year

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

Contribution activity

August 2019

Created a pull request in CodaProtocol/coda that received 1 comment

Improve Logproc documentation

Wanted to get this in real quick before I leave. Feedback on logproc has been that it's not easy to use, so I wrote some better manpage docs comple…

+51 −8 1 comment

Created an issue in CodaProtocol/coda that received 2 comments

Gracefully handle invalidation of internally produced transitions

If a proposer begins proposing a transition during some slot sl, but does not finish generating the proof until sl+1 has begun, there is a chance t…

2 comments

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

You can’t perform that action at this time.