aprocter
Software Engineer at @Cerebras. Formerly @stripe, @groq, @IntelAI (aka @NervanaSystems), @mu-chaco. Work-related alts: @adamp-cerebras, @aprocter-stripe
Portland, OR
Pinned Repositories
aprocter.github.io
Personal website. Feel free to fork it and use it as a template if you like it.
dotfiles
dotfiles. Probably won't work for you.
mprover
Equational Reasoning for a Lazy Functional Language
ngraph
nGraph has moved to OpenVINO
ReWire
Experimental compiler for a subset of Haskell to VHDL
unet
U-Net Biomedical Image Segmentation
caffe
This fork of BVLC/Caffe is dedicated to improving performance of this deep learning framework when running on CPU, in particular Intel® Xeon processors.
ngraph
nGraph has moved to OpenVINO
ReWire
A Haskell to HDL (Verilog/VHDL) Compiler
sorbet
A fast, powerful type checker designed for Ruby
aprocter's Repositories
aprocter/mprover
Equational Reasoning for a Lazy Functional Language
aprocter/ReWire
Experimental compiler for a subset of Haskell to VHDL
aprocter/aprocter.github.io
Personal website. Feel free to fork it and use it as a template if you like it.
aprocter/dotfiles
dotfiles. Probably won't work for you.
aprocter/ngraph
nGraph has moved to OpenVINO
aprocter/unet
U-Net Biomedical Image Segmentation