◐ Shell
clean mode source ↗

bakkot - Overview

@bakkot

bakkot

Follow

View bakkot's full-sized avatar

Kevin Gibbons bakkot

Organizations

@tc39

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.

Report abuse

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

Report abuse

Pinned Loading

  1. tc39/ecma262 tc39/ecma262 Public

    Status, process, and documents for ECMA-262

    HTML 15.7k 1.4k

  2. shapesecurity/shift-spec shapesecurity/shift-spec Public

    ⏩ Shift AST Specification

    JavaScript 192 18

  3. unix-socket-protobuf unix-socket-protobuf Public

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

    C++ 33 11

  4. cfgrammar-tool cfgrammar-tool Public

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

    JavaScript 50 8

  5. test262-web-runner test262-web-runner Public

    Run test262 in a browser

    JavaScript 30 11

  6. matrix-archive-bot matrix-archive-bot Public

    bot to log matrix channels

    JavaScript 25 10