Skip to content
Avatar
  • Block or report user

    Report or block jgalenson

    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
6 followers · 0 following · 0

Highlights

  • Arctic Code Vault Contributor

Popular repositories

  1. codehint

    Eclipse plugin that synthesizes real Java code

    Java 25 2

  2. research.js

    Share your research online by compiling it to JavaScript!

    Shell 21 5

  3. codehint.js

    JavaScript version of our CodeHint synthesis tool.

    JavaScript 7

  4. pbd

    A programming by Demonstration system.

    Scala

  5. piVC

    The Pi verifying compiler.

    Java 1

  6. jgalenson.github.io

    JavaScript

38 contributions in the last year

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

Contribution activity

August 2020

Created an issue in rust-lang/cargo that received 3 comments

Building cargo itself is non-reproducible

My nightly script that builds rustc to check that its builds are reproducible recently discovered that the cargo binary differed. A git bisect poin…

3 comments

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

You can’t perform that action at this time.