Joy of Computing

A long form essay that shows the relationship between type systems and logic systems in type theory. — jollysonali

Most stores aren't open 24/7. Amazon.com is. This extension makes Amazon.com more like other stores. The new Amazon.com hours are 10am-9pm M-F and 11am-8pm Sundays. — davidbalbert

Programmatically generated city guides for imaginary cities. Pictures, maps, places of interest, local language, flora and fauna are all included. — davidbalbert

An explanation of the recent "Neural ordinary differential equations" paper. — porterjamesj

A programming language where every computation happens in a separate Docker container. — davidbalbert

Thousands of people use the Bay Area bikeshare system, Ford Go Bike, every day. This plot shows where all those bikes are headed (using idealized route predictions). — aleksey

An attempt to find a more-efficient-than-rejection-sampling method of choosing uniformly-distributed random points inside the unit sphere. — nebkor

Using Racket Scheme to explore different ways to interpret the passage of time as color transitions in HSV colorspace. — nebkor

My favorite part about this project is that it implements recursion using file processing! — nicholasbs

Gigscape is a music discovery app written in JavaScript that uses the Spotify and Mapbox APIs to allow you to find shows near you, wherever you are. — sydney