Skip to content
Avatar
295 followers · 16 following · 166

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@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

  1. nearley

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

    JavaScript 3k 197

  2. jigsaw

    An Escher-esque jigsaw puzzle generator

    Standard ML 4

  3. recreational-rosette

    Some fun examples of solving problems with symbolic execution

    Racket 92 7

  4. prufrock

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

    Standard ML 6

  5. tower-of-power

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

    Python 108 4

166 contributions in the last year

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

Contribution activity

July 2021

Created 2 commits in 2 repositories
13 contributions in private repositories Jul 6 – Jul 20

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