Skip to content
Avatar
314 followers · 16 following

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 Public

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

    JavaScript 3.2k 216

  2. jigsaw Public

    An Escher-esque jigsaw puzzle generator

    Standard ML 7 1

  3. recreational-rosette Public

    Some fun examples of solving problems with symbolic execution

    Racket 99 7

  4. prufrock Public

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

    Standard ML 7

  5. tower-of-power Public

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

    Python 108 4

  6. shabdle Public

    Shabdle is Wordle in Hindi

    Mathematica 21 7

234 contributions in the last year

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

Contribution activity

April 2022

Created 10 commits in 2 repositories
7 contributions in private repositories Apr 16 – Apr 22

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