Repository for the book "Crafting Interpreters"

A proposal for adding a useful pipe operator to JavaScript.

A vintage 1980s DOS inspired Twitter Bootstrap theme

CSS library for Instagram filters

A general purpose, real-time visualization library.

HTML5/EPUB3 version of SICP

WebGazer.js: Scalable Webcam EyeTracking Using User Interactions

✂️ A grunt task for removing unused CSS from your projects.

Javascript HTML5 (Ca)nvas (Man)ipulation

LaTeX.css is a CSS library that makes your website look like a LaTeX document

Open-source webfont service

Superhero JavaScript

The Simplest AngularJS Google Maps V3 Directive

A listing of compiler, language and runtime teams for people looking for jobs in this area

jq, but for HTML

Web component library for developing Visual Studio Code extensions

A collection of tools for writing technical documents that mix Coq code and prose.

Programming Models and Languages for Distributed Computation

Online Java to Scala converter

Lorem.js Dummy Text/Image Generator for jQuery and Native JS

Experimental markdown processor in Haskell

Lecture material for DeepSpec Summer School 2018

A tutorial on how Agda infers things

Math-themed single-serving site

LaTeX tree maker: https://lautgesetz.com/latreex/

CS Graduate Job Guide

Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais

software archaeology of reflective towers of interpreters