Pinned Repositories
2048-cubed
3D WebGL version of the popular 2048
bash-git-prompt
An informative and fancy bash prompt for Git users
chrome2calltree
Convert CPU profiles exported from Chrome to callgrind format
LiquidHaskellExamples
negsnel
Javascript port of Pat Hooper's program. Runs at http://awstlaur.github.io/negsnel/
pyret-benchmark-visualization
spinlist-model
Model of a lock-free concurrent list in Promela/Spin.
website
Personal Website
code.pyret.org
Website for serving Pyret to folks.
pyret-lang
The Pyret language.
awstlaur's Repositories
awstlaur/LiquidHaskellExamples
awstlaur/pyret-benchmark-visualization
awstlaur/spinlist-model
Model of a lock-free concurrent list in Promela/Spin.
awstlaur/2048-cubed
3D WebGL version of the popular 2048
awstlaur/bash-git-prompt
An informative and fancy bash prompt for Git users
awstlaur/chrome2calltree
Convert CPU profiles exported from Chrome to callgrind format
awstlaur/negsnel
Javascript port of Pat Hooper's program. Runs at http://awstlaur.github.io/negsnel/
awstlaur/website
Personal Website
awstlaur/code.pyret.org
Website for serving Pyret to folks.
awstlaur/dotfiles
paul's shell, git, etc config files. also homebrew, migration setup. good stuff.
awstlaur/gamepad-custom-css
custom skins for gamepadviewer.com
awstlaur/jenkins-tutorial
awstlaur/pyret-lang
Fork of Pyret for testing speed improvements
awstlaur/RefinedRemora
Remora with refinement types
awstlaur/Remora
Dependently-typed language with Iverson-style implicit lifting
awstlaur/shape-poetry
Shape poetry generation
awstlaur/simple-language
Simple S-expression based language