Bio: I help run the Recurse Center! I enjoy food, friends, and firsts.

Type systems and logic

made by trillionalyssa, submitted by jollysonali
A long form essay that shows the relationship between type systems and logic systems in type theory.


made by jay, submitted by jollysonali
A Julia interface to GLFW 3, a multi-platform library for creating windows with OpenGL or OpenGL ES contexts and receiving many kinds of input.

Catacomb WebGL

made by jay, submitted by jollysonali
Catacomb WebGL is a rebuild of Catacomb 3-D from the early 1990's using WebGL. The project was started at RC in 2017.


made by maryrosecook, submitted by jollysonali
Gitlet is an implementation of Git in JavaScript. It's a wonderful example of building a project with the intention of learning.

"It's Just Matrix Multiplication": Notation for Weaving by Lea Albaugh

made by lea, submitted by jollysonali
Lea's talk on weaving notation at Strange Loop 2018 was a fascinating deep dive into the history of weaving, which is also the history of programming!