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++11
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/frpsurvey
Language:Racket10
jn80842/frpsynthesis
Language:Racket13
jn80842/Halide
a language for fast, portable data-parallel computation
Language:C++11
jn80842/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
Language:Racket0 2 00
jn80842/UWThesis
Class file for University of Washington thesis formatting with LaTeX.
Language:TeX0 1 00
jn80842/varsolverrewrites
Language:Racket00
jn80842/2048-idd
A small clone of 1024 (https://play.google.com/store/apps/details?id=com.veewo.a1024)
Language:CSS
jn80842/ArduinoWebsocketServer
Language:C++
jn80842/automatahints
Language:Racket
jn80842/ble_nettrap
Language:JavaScript
jn80842/ble_nettrap_markii
Language:JavaScript
jn80842/chlorophyll
Language:Racket
jn80842/CodeMirror
In-browser code editor
Language:JavaScript
jn80842/coq4halidetrs
Language:Coq
jn80842/cse401section1
Language:JavaScript
jn80842/cse401section5
Language:JavaScript
jn80842/cse521-witness
Language:Python
jn80842/egg
egraphs good
jn80842/egg-for-halide
Language:Rust
jn80842/greenfft
Language:C
jn80842/greenthumb
Language:Racket
jn80842/halide-rewrites
Language:Racket
jn80842/iotaflavors
Language:Elm
jn80842/jn80842.github.io
Language:JavaScript
jn80842/kotlin-sublime-package
Sublime Text 2 Package for Kotlin Programming Language
jn80842/synthsimplifierpaper
Language:TeX
jn80842/toastboard
Language:Arduino
jn80842/toastboard.js
Language:JavaScript
jn80842/toastboard_js
Language:JavaScript3 01
jn80842/toastboardsite
Language:HTML4 0