An efficient proof language. Contribute to moonad/Formality development by creating an account on GitHub. (more…)

Completely explaining the concept of closures in Javascript in the most simple way... (more…)

In March of 2016, Joe Lencioni and I started porting over 6,117 lines of Ruby code to JavaScript for our project Import-JS. Roughly two… (more…)

Learning modern JavaScript is tough if you haven’t been there since the beginning. (more…)

Minimal JavaScript library for creating classic arcade-like mini-games running in the browser - abagames/crisp-game-lib... (more…)