The Pyret language.

LLVM compiled to JavaScript using Emscripten

IPython notebook-compatible live coding experiment

JavaScript port of Vim

Following along with Reasoning about Knowledge.

Racket-style structs for JavaScript

Plush - the comfy shell

World implemented as a Flapjax abstraction.

Formal models exploring identity and capabilities.

Default, required, and keyword arguments for JavaScript functions.

Academic process collaboration

My page

Semantics for ES5

Make file system utilities interactive.

Common home directory stuff

A safe JavaScript widget framework for advertising and other mashups.

Graduate admissions

JSLint, The JavaScript Code Quality and Coverage Tool

Faculty search.

JavaScript semantics

jsworld2: world-style programming in Javascript

X-Trace is a tool that provides fine-grained visibility into large, complex distributed systems. It can be used by application developers as well as network operators to debug and develop distribut…

The Strobe Type Checker for JavaScript