Skip to content
View kach's full-sized avatar

Organizations

@scratchblocks @stanford-ssi @tildetown

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse

Pinned Loading

  1. nearley nearley Public

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

    JavaScript 3.6k 232

  2. memo memo Public

    A domain-specific probabilistic programming language for reasoning about reasoning

    Python 40 3

  3. gradient-descent-the-ultimate-optimizer gradient-descent-the-ultimate-optimizer Public

    Code for our NeurIPS 2022 paper

    Python 364 22

  4. jigsaw jigsaw Public

    An Escher-esque jigsaw puzzle generator

    Standard ML 8 2

  5. recreational-rosette recreational-rosette Public

    Some fun examples of solving problems with symbolic execution

    Racket 112 9

  6. prufrock prufrock Public

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

    Standard ML 8