Blake Johnson Blake Johnson's Repositories


bdj/dybvig-three-imp
Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for ...
Scheme - Last pushed - 6 stars - 4 forks
bdj/unresolve-tests
Racket - Unlicense - Last pushed - 0 stars
bdj/bdj.github.io
Blog
HTML - Unlicense - Last pushed - 0 stars
bdj/sf
Software Foundations Exercises
Coq - Last pushed - 1 stars
bdj/thesis
TeX - Last pushed - 0 stars
bdj/demod-paper
Demodularization Paper
Racket - Last pushed - 0 stars
bdj/compiler
Racket - Last pushed - 2 stars - 1 forks
bdj/redex
Racket - Last pushed - 1 stars
bdj/cs557
BYU CS 557 projects
C++ - Last pushed - 0 stars
bdj/fit
Fitness program for helping with tracking workouts
Racket - Last pushed - 1 stars
bdj/pldi2013
Racket - Last pushed - 0 stars
bdj/demod-tests
Racket - Last pushed - 0 stars
bdj/esop2013
Enabling Optimizations through Demodularization
Last pushed - 0 stars