Kevin Gibbons

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

unix-socket-protobuf. Protocol Buffers over Unix domain sockets - a toy implementation in three languages

test262-web-runner. Run test262 in a browser

matrix-archive-bot. bot to log matrix channels

dfa-lib. JavaScript tools for working with DFAs and NFAs. Focuses on manipulation and analysis of automata, not their use.

MenuBarVolume. trivial app for Macs to show volume in menu bar even when using headphones

magic-wormhole-js. WIP port of magic-wormhole to JavaScript

SlateStarComments. The thing which highlights new comments on Slate Star Codex posts

simple-chatgpt-ui. barebones JS-based UI for the chatGPT API

cs238. Projects from Stanford's AA228/CS238: Decision Making Under Uncertainty

transcribe-to-gdocs. TypeScript

do-expressions-v2. HTML

treefuzz. Randomly generate typed trees of particular sizes

call-chatgpt. Make a regular phone number you can call to talk to ChatGPT

buildless-ts-webapp. Demo pure-TypeScript web app with no build step

proposal-frozen-set. What might frozen sets in JavaScript look like?

cfgrammar. Haskell library for generating random strings from arbitrary context-free grammars

GOLD-Plus. Userscript to improve UCSB's online course registration

magic-wormhole-npm. magic-wormhole binaries packaged for distribution on npm

tantivy-wasm. TypeScript

normalize-parser-test. JavaScript

game-of-life-color. Game of Life with colors. Generated 100% by GPT4.

cookie. HTTP server cookie parsing and serialization

client-side-typescript. typechecking Z3 in the browser

signature-based-sri. Signature-based Resource Loading Restrictions

paycheck-to-google-sheets. JavaScript

simple-dalle-ui. a simple webpage to wrap OpenAI's image-generator API

DefinitelyTyped. The repository for high quality TypeScript type definitions.

proposal-temporal. Provides standard objects and functions for working with dates and times.

self-deploying-repo. A GitHub repo which updates its own pages branch whenever pushed

jsdom. A JavaScript implementation of various web standards, for use with Node.js