Skip to content
View bakkot's full-sized avatar

Organizations

@tc39 @shapesecurity

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 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
Showing results

Custom RTTs and JS interop for Wasm GC structs

WebAssembly 8 Updated Nov 4, 2025

Signature-based Resource Loading Restrictions

Bikeshed 41 8 Updated Aug 13, 2025

Introduce security controls to same origin realms in web applications

21 Updated Oct 21, 2024

Cross-cutting issues, suggestions, and best practices for continued development of ECMAScript syntax

1 Updated Apr 11, 2024

Proposal to introduce half precision operations

WebAssembly 11 Updated Jun 12, 2024

Sandboxed runtime for programming languages and WASI binaries. Works in the browser, on your server, or via MCP.

TypeScript 747 40 Updated Oct 4, 2025

JavaScript tool to convert WebAssembly standard textual format (wat) to binary (wasm)

JavaScript 9 Updated Oct 31, 2019

Digital Credentials API

HTML 139 28 Updated Nov 3, 2025

Running Clang/LLD in WebAssembly Demo

JavaScript 307 34 Updated Dec 7, 2023

WebSocketFS: it's like sshfs, but over a WebSocket and implemented in Typescript

TypeScript 19 3 Updated Apr 11, 2025

Stable Diffusion v1.4 ported to Rust's burn framework

Rust 341 15 Updated Oct 5, 2024

Tensor computation with WebGPU acceleration

TypeScript 633 22 Updated Jul 25, 2024

Bringing stable diffusion models to web browsers. Everything runs inside the browser with no server support.

Jupyter Notebook 3,692 235 Updated Mar 12, 2024

Code and documentation to train Stanford's Alpaca models, and generate the data.

Python 30,209 4,036 Updated Jul 17, 2024

An implementation of the diffusers api in Rust

Rust 578 59 Updated Apr 4, 2024

ECMAScript Specification (ECMA-262) Metalanguage

Scala 235 22 Updated Nov 5, 2025

Z3 playground

JavaScript 6 1 Updated Sep 30, 2021

Fuzz testing JavaScript parsers and suchlike programs.

JavaScript 59 6 Updated Apr 10, 2022

metamath proof enumerators and other things

Tcl 91 13 Updated Nov 2, 2025

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Lean 301 71 Updated Mar 9, 2024

ECMAScript proposal for the Record and Tuple value types. | Stage 2: it will change!

HTML 2,537 59 Updated Apr 15, 2025

The Browser Exploitation Framework Project

JavaScript 10,534 2,317 Updated Nov 3, 2025

a generative algorithm

Python 693 52 Updated May 23, 2018

A template string tag for generating template string tags.

JavaScript 67 9 Updated Sep 22, 2020

Boa is an embeddable Javascript engine written in Rust.

Rust 6,138 470 Updated Nov 4, 2025

Official version of the Meow hash, an extremely fast level 1 hash

C++ 1,795 66 Updated Jul 31, 2022

proposal for flatten and flatMap on arrays

HTML 214 19 Updated Jan 24, 2022

The Incredible Proof Machine

Haskell 385 38 Updated Mar 2, 2025

Analyzing (and eventually executing) the ECMAScript specification

Python 10 2 Updated Oct 1, 2025

An implementation of ECMA-262 in JavaScript

TypeScript 905 70 Updated Oct 25, 2025
Next