jn80842

Pinned Repositories

fibonacci
TODO: one-line summary of your gem
Language:Ruby10
frpsurvey
Language:Racket10
Halide
a language for fast, portable data-parallel computation
Language:C++1 2 01
opcit
10
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket0 2 00
UWThesis
Class file for University of Washington thesis formatting with LaTeX.
Language:TeX0 1 00
varsolverrewrites
Language:Racket00

jn80842's Repositories

jn80842/fibonacci
TODO: one-line summary of your gem
Language:Ruby10
jn80842/opcit
10
jn80842/APE
Parser for Attempto Controlled English (ACE)
Language:Prolog
jn80842/crimhex
Language:JavaScript
jn80842/sparkified-biggie
Language:Scala