Pinned Repositories
super-midio-bros
Control Super Mario Bros Level 1-1 using a MIDI Keyboard. Made for MHacks 11.
warmer-winter-walks
Warmer Winter Walks is an interactive map application that provides routes between locations on Michigan's North Campus that minimizes time walking outside, so everyone can have warmer winter walks!
personal-website
My personal website, create-react-app'd and styled from scratch.
dranzleyder
583-neuro-vectorizer
NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops in C and C++ codes.
c4cs-2.github.io
Duplicate of C4CS used for Git 2 Advanced Homework.
c4cs-f18-rpn
dotfiles
Dotfiles for machine configuration/personalization
I4-dafny
The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols"
thisisbenmanley's Repositories
thisisbenmanley/personal-website
My personal website, create-react-app'd and styled from scratch.
thisisbenmanley/583-neuro-vectorizer
NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops in C and C++ codes.
thisisbenmanley/I4-dafny
The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verification of Distributed Protocols"
thisisbenmanley/dranzleyder
thisisbenmanley/dotfiles
Dotfiles for machine configuration/personalization
thisisbenmanley/c4cs-f18-rpn
thisisbenmanley/c4cs-2.github.io
Duplicate of C4CS used for Git 2 Advanced Homework.