Blake Johnson Blake Johnson

Tracking 747 commits to 16 open source packages


Homepage: http://blog.primeimplicant.com

Company: Flexport

Location: San Francisco, CA


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/bdj.github.io
Blog
HTML - Unlicense - Last pushed - 0 stars
bdj/unresolve-tests
Racket - Unlicense - Last pushed - 0 stars
bdj/esop2013
Enabling Optimizations through Demodularization
Last pushed - 0 stars
bdj/demod-paper
Demodularization Paper
Racket - Last pushed - 0 stars
bdj/sf
Software Foundations Exercises
Coq - Last pushed - 1 stars
See all Blake Johnson's repositories

Repositories Contributed To

takikawa/racket-ppa
Ubuntu PPA packaging for Racket (based on http://anonscm.debian.org/gitweb/?p=collab-maint/racket...
Racket - Last pushed - 0 stars
jeapostrophe/grade-ninja
[dead] a UNIX-based turn-in submission and grading system
JavaScript - Other - Last pushed - 2 stars
juanfra684/racket-musl
Racket - Last pushed - 0 stars
juanfra684/racket-sparc
Racket - Last pushed - 0 stars
samth/plt-history
Historical archive of Racket source
Racket - Last pushed - 0 stars
gmarceau/PLT
Racket - Last pushed - 2 stars
See all Blake Johnson's contributions

Last synced: 2016-12-17 02:04:10 UTC

Login to resync this page