Block or report user

Report or block Mestway

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Pinned repositories

  1. Scythe

    Synthesizing SQL queries from input / output examples

    Java 20 1

  2. uwdb/Cosette

    Cosette is an automated SQL solver powered by Coq/Lean and Rosette.

    Lean 426 37

308 contributions in the last year

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

Contribution activity

July 2018

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