Block or report user

Report or block pythonesque

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse
  • Lanetix
  • San Francisco, CA

Popular repositories

  1. fallthrough

    Simple fallthrough match for Rust.

    Rust 9 1

  2. dependent_traits

    A dependent type system built entirely in Rust's trait system (WIP).

    Rust 5

  3. wadl

    Forked from blackwinter/wadl

    Ruby client for the Web Application Description Language.

    Ruby 2

  4. libcuckoo.rs

    Rust port of libcuckoo

    Rust 2 1

  5. sprout_test

    Forked from sproutcore/sproutcore

    JavaScript Application Framework - JS library only

    JavaScript 1

  6. mixlib-shellout

    Forked from chef/mixlib-shellout

    mixin library for subprocess management, output collection

    Ruby 1

90 contributions in the last year

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

Contribution activity

October 2018

Created an issue in coq/coq that received 1 comment

Consider delaying universe substitutions during reduction.

@Janno and I did a quick implementation of this in the copy of cClosure being used for mTac and it reduced reduction time by about 40% for their te…

1 comment

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