Skip to content
View bakkot's full-sized avatar

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

clang-format in your browser!

C++ 1 Updated Dec 23, 2025

A powerful Node.js benchmark library

JavaScript 187 18 Updated May 8, 2026

Custom RTTs and JS interop for Wasm GC structs

WebAssembly 10 2 Updated Apr 15, 2026

Signature-based Resource Loading Restrictions

Bikeshed 45 8 Updated Apr 8, 2026

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 13 1 Updated Jun 12, 2024

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

TypeScript 767 47 Updated May 10, 2026

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

JavaScript 9 Updated Oct 31, 2019

Digital Credentials API

HTML 160 34 Updated Jun 18, 2026

Running Clang/LLD in WebAssembly Demo

JavaScript 330 38 Updated Dec 7, 2023

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

TypeScript 19 3 Updated May 29, 2026

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

Rust 350 16 Updated Oct 5, 2024

Tensor computation with WebGPU acceleration

TypeScript 645 24 Updated Jul 25, 2024

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

Jupyter Notebook 3,719 233 Updated Mar 12, 2024

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

Python 30,249 3,989 Updated Jul 17, 2024

An implementation of the diffusers api in Rust

Rust 590 64 Updated Apr 4, 2024

ECMAScript Specification (ECMA-262) Metalanguage

Scala 260 25 Updated Jun 19, 2026

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 98 14 Updated Nov 16, 2025

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

Lean 303 70 Updated Mar 9, 2024

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

HTML 2,531 57 Updated Apr 15, 2025

The Browser Exploitation Framework Project

JavaScript 10,906 2,362 Updated Jun 18, 2026

a generative algorithm

Python 696 51 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 7,322 634 Updated Jun 18, 2026

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

C++ 1,822 64 Updated Jul 31, 2022

proposal for flatten and flatMap on arrays

HTML 214 16 Updated Jan 24, 2022

The Incredible Proof Machine

Haskell 393 40 Updated Feb 16, 2026
Next