Skip to content
View jgalenson's full-sized avatar

Block or report jgalenson

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. codehint codehint Public

    Eclipse plugin that synthesizes real Java code

    Java 26 2

  2. research.js research.js Public

    Share your research online by compiling it to JavaScript!

    Shell 23 8

  3. codehint.js codehint.js Public

    JavaScript version of our CodeHint synthesis tool.

    JavaScript 7

  4. piVC piVC Public

    The Pi verifying compiler.

    Java 4 4

  5. pbd pbd Public

    A programming by Demonstration system.

    Scala

  6. jgalenson.github.io jgalenson.github.io Public

    JavaScript