Skip to content




@uwplse @scratchblocks @stanford-ssi @tildetown
Block or Report

Block or report kach

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.

Report abuse

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

Report abuse

Pinned Loading

  1. nearley Public

    📜🔜🌲 Simple, fast, powerful parser toolkit for JavaScript.

    JavaScript 3.1k 206

  2. jigsaw Public

    An Escher-esque jigsaw puzzle generator

    Standard ML 5

  3. Some fun examples of solving problems with symbolic execution

    Racket 95 7

  4. prufrock Public

    A literary proof assistant built on the affine calculus of inductive constraints

    Standard ML 6

  5. What is hip? Tell me, tell me (if you think you know)

    Python 108 4

263 contributions in the last year

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

Contribution activity

November 2021

Created 4 commits in 2 repositories
Created 1 repository
14 contributions in private repositories Nov 6 – Nov 27

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