Pinned Repositories
cfgrammar-tool
Work with context-free grammars. Parsing, string generation, and manipulation.
cs238
Projects from Stanford's AA228/CS238: Decision Making Under Uncertainty
dfa-lib
JavaScript tools for working with DFAs and NFAs. Focuses on manipulation and analysis of automata, not their use.
magic-wormhole-js
WIP port of magic-wormhole to JavaScript
matrix-archive-bot
bot to log matrix channels
SlateStarComments
The thing which highlights new comments on Slate Star Codex posts
test262-web-runner
Run test262 in a browser
unix-socket-protobuf
Protocol Buffers over Unix domain sockets - a toy implementation in three languages
shift-spec
:fast_forward: Shift AST Specification
ecma262
Status, process, and documents for ECMA-262
bakkot's Repositories
bakkot/matrix-archive-bot
bot to log matrix channels
bakkot/magic-wormhole-js
WIP port of magic-wormhole to JavaScript
bakkot/MenuBarVolume
trivial app for Macs to show volume in menu bar even when using headphones
bakkot/simple-chatgpt-ui
barebones JS-based UI for the chatGPT API
bakkot/matrix-logs
logs for tc39's matrix channels
bakkot/webidl2.js
WebIDL parser
bakkot/wpt
Test suites for Web platform specs — including WHATWG, W3C, and others
bakkot/bun
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
bakkot/DefinitelyTyped
The repository for high quality TypeScript type definitions.
bakkot/design-principles
A small-but-growing set of design principles collected by the TAG while reviewing specifications
bakkot/ecma262-previews
bakkot/fetch
Fetch Standard
bakkot/FileAPI
File API
bakkot/llama.cpp
LLM inference in C/C++
bakkot/name-matcher
Web app for choosing names with a Tinder-style interface
bakkot/node
Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:
bakkot/prettier
Prettier is an opinionated JavaScript formatter.
bakkot/proposal-arraybuffer-transfer
Proposal to add ArrayBuffer.prototype.transfer
bakkot/proposal-joint-iteration
a TC39 proposal to synchronise the advancement of multiple iterators
bakkot/proposal-regex-escaping
Proposal for investigating RegExp escaping for the ECMAScript standard
bakkot/proposal-temporal
Provides standard objects and functions for working with dates and times.
bakkot/push-api
Push API
bakkot/TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
bakkot/TypeScript-DOM-lib-generator
Tool for generating dom related TypeScript and JavaScript library files
bakkot/TypeScript-Website
The Website and web infrastructure for learning TypeScript
bakkot/wasi-clocks
Clocks API for WASI
bakkot/webidl
Web IDL Standard
bakkot/widlparser
Stand-alone WebIDL Parser in Python
bakkot/writing
where the writing goes
bakkot/z3
The Z3 Theorem Prover