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 189 19 Updated May 8, 2026

Custom RTTs and JS interop for Wasm GC structs

WebAssembly 11 3 Updated Jul 24, 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 768 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 163 34 Updated Jul 23, 2026

Running Clang/LLD in WebAssembly Demo

JavaScript 332 38 Updated Dec 7, 2023

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

TypeScript 19 3 Updated Jun 22, 2026

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

Rust 349 16 Updated Oct 5, 2024

Tensor computation with WebGPU acceleration

TypeScript 646 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 234 Updated Mar 12, 2024

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

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

An implementation of the diffusers api in Rust

Rust 593 64 Updated Apr 4, 2024

ECMAScript Specification (ECMA-262) Metalanguage

Scala 264 25 Updated Jul 23, 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 15 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 302 70 Updated Mar 9, 2024

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

HTML 2,530 57 Updated Apr 15, 2025

The Browser Exploitation Framework Project

JavaScript 10,955 2,364 Updated Jul 27, 2026

a generative algorithm

Python 697 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,416 645 Updated Jul 26, 2026

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

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

proposal for flatten and flatMap on arrays

HTML 213 16 Updated Jan 24, 2022

The Incredible Proof Machine

Haskell 392 40 Updated Feb 16, 2026
Next