Skip to content




Block or Report

Block or report bakkot

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


  1. Status, process, and documents for ECMA-262

    HTML 12.9k 1.2k

  2. Shift AST Specification

    JavaScript 173 19

  3. Protocol Buffers over Unix domain sockets - a toy implementation in three languages

    C++ 27 10

  4. Work with context-free grammars. Parsing, string generation, and manipulation.

    JavaScript 35 10

  5. Run test262 in a browser

    JavaScript 17 13

  6. bot to log matrix channels

    JavaScript 3 2

Contribution activity

January 2022

Created 5 repositories

Created a pull request in Z3Prover/z3 that received 18 comments

Add WebAssembly/TypeScript bindings

As discussed. See the files named src/js/api/ and src/js/api/ for more details. This includes two new GitHub Actions: o…

+1,724 −35 18 comments
Opened 6 other pull requests in 3 repositories
tc39/ecmarkup 3 open 1 merged
tc39/ecma262 1 merged
bakkot/z3-js-bindings 1 open
Reviewed 25 pull requests in 5 repositories
tc39/ecma262 19 pull requests
tc39/ecmarkup 3 pull requests
tc39/proposal-intl-numberformat-v3 1 pull request
Z3Prover/z3 1 pull request
mdn/content 1 pull request

Created an issue in emscripten-core/emscripten that received 19 comments

thread can't spawn synchronously even with PTHREAD_POOL_SIZE=4

This is with emcc version emcc (Emscripten gcc/clang-like replacement + linker emulating GNU ld) 3.0.2-git clang version 14.0.0 (…

Started 1 discussion in 1 repository

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