girving/meme
Thoughts about proof languages
Source code for the version of pbrt described in the second edition of "Physically Based Rendering"
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Thoughts about proof languages
Gen 3 of the developer.rackspace.com Portal
Ace (Ajax.org Cloud9 Editor)
Proposal for interactive algebraic manipulation