Skip to content
Avatar

Achievements

Achievements

Organizations

@google
Block or Report

Block or report axch

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

Popular repositories

  1. Running the code you want to write as fast as the code you have to write

    Scheme 136 5

  2. A library for intelligently plotting functions from the MIT Scheme REPL.

    Scheme 18

  3. rules Public

    An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.

    Scheme 17 1

  4. A unit test framework for MIT Scheme in the jUnit style.

    Scheme 14 1

  5. A library for recreational number theory in MIT Scheme.

    Scheme 10

  6. A Schemely pattern matching case facility in MIT Scheme.

    Scheme 6 1

118 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri

Contribution activity

January 2022

Created 1 commit in 1 repository

Created a pull request in google-research/dex-lang that received 6 comments

WIP fleshing out the implementation of Linear A.

I wanted to let you know that I started filling in some of the gaps in the Linear A implementation. It's not all that much progress, so I don't kno…

+88 −16 6 comments
Reviewed 1 pull request in 1 repository
google-research/dex-lang 1 pull request

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