Skip to content
View kach's full-sized avatar
474 followers · 25 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruckx3Achievement: Pull Sharkx2

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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. memomemoPublic

    A probabilistic programming language for metacognitive modeling

    Python 135 12

  2. nearleynearleyPublic

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

    JavaScript 3.7k 235

  3. gradient-descent-the-ultimate-optimizergradient-descent-the-ultimate-optimizerPublic

    Code for our NeurIPS 2022 paper

    Python 371 21

  4. jigsawjigsawPublic

    An Escher-esque jigsaw puzzle generator

    Standard ML 8 2

  5. recreational-rosetterecreational-rosettePublic

    Some fun examples of solving problems with symbolic execution

    Racket 116 9

  6. prufrockprufrockPublic

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

    Standard ML 8