Toying around with the capabilities for web2py

Raycasting game for the Hack computer from Elements of Computing Systems / Coursera NAND2Tetris

Rust / Wasm framework for creating reliable and efficient web applications

Set up a modern web app by running one command.

A modification of Google's Deep Q-Network to learn to play Super Mario Bros.

Coq to Rust program extraction. The whole tree is on the original Coq code base.

A framework of abstractions

C to Rust translator

Nim for awk programmers. A library of awk functions in nim

A continuous integration system built on AWS Lambda

Press the 'f' and 'd' keys randomly. It's easy. Just use your "free will."

System for making realistic, unique form letters

Prezi clone using impress.js

Ruby Reflector, a program that reads a given codebase and computes statistics on what Ruby library features are used the most.

General Things Hackathon Challenge

An example Rails 3.2 app with Devise and RSpec and Cucumber. With a tutorial.

Base from which to fork further rails apps

Easy-rerender templating language

HTML pages to benchmark a number of JS templating libraries.

Change Project

pairing with wolf

Wolf and Shereef's presentation

playing around with setting up a rails site

personal laptop runthrough of Hartl tutorial

Less Wrong platform

An example Rails 3.2 app with Devise and RSpec and Cucumber.

Easy-rerender templating language