Skip to content
Avatar
307 followers · 16 following · 170

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 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. recreational-rosette Public

    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. tower-of-power Public

    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
Learn how we count contributions
Less More

Contribution activity

November 2021

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

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