Hayden Coffey (hcoffey1)

hcoffey1

Geek Repo

Company:University of Wisconsin-Madison

Location:Madison

Home Page:https://haydencoffey.com

Github PK Tool:Github PK Tool


Organizations
UTK-COSC377-2018
utkML

Hayden Coffey's repositories

duck_compiler

Duck Duck Goose in Rust.

Language:RustLicense:MITStargazers:2Issues:1Issues:0
Language:PythonLicense:MITStargazers:1Issues:1Issues:0
Language:PythonStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:2Issues:0

perlin

Playing with a Perlin noise generator in Rust.

Language:RustStargazers:0Issues:2Issues:0
Language:OpenQASMStargazers:0Issues:0Issues:0

765_artifact

Data Visualization Project Code Artifacts

Language:PythonStargazers:0Issues:0Issues:0

electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)

Language:LeanLicense:NOASSERTIONStargazers:0Issues:1Issues:0

fait-maison-spmv

Sparse Matrix-Vector Multiplication implementations in C

Language:CStargazers:0Issues:0Issues:0

gups

gups mirror

Language:CStargazers:0Issues:0Issues:0

hcoffey1

Config files for my GitHub profile.

Stargazers:0Issues:1Issues:0

hippocrates

Automatically fixing persistency bugs in PM applications. ASPLOS '21.

Language:C++License:MITStargazers:0Issues:1Issues:0

ipc_testing

Testing performance of different IPC methods.

Language:CStargazers:0Issues:1Issues:0

kernel

Used for playing with the Linux kernel.

Language:CStargazers:0Issues:1Issues:0

lem-in

Graph traversal project

Language:CStargazers:0Issues:0Issues:0

linux

Linux kernel source tree

License:NOASSERTIONStargazers:0Issues:0Issues:0

llvm-ir-cmake-utils

LLVM IR CMake utils for bitcode file manipulation by opt and friends

Language:CMakeLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

License:NOASSERTIONStargazers:0Issues:1Issues:0
Language:LogosLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0
Language:PythonStargazers:0Issues:1Issues:0

QASMBench

A low-level OpenQASM benchmark suite for NISQ evaluation and simulation. Please see our paper for details.

Language:OpenQASMLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ram_bench

A benchmark for random memory accesses

Language:CStargazers:0Issues:0Issues:0

ramulator-pim

A fast and flexible simulation infrastructure for exploring general-purpose processing-in-memory (PIM) architectures. Ramulator-PIM combines a widely-used simulator for out-of-order and in-order processors (ZSim) with Ramulator, a DRAM simulator with memory models for DDRx, LPDDRx, GDDRx, WIOx, HBMx, and HMCx. Ramulator is described in the IEEE CAL

Language:C++Stargazers:0Issues:0Issues:0

wallpapers

Wallpapers I've collected over time.

Stargazers:0Issues:2Issues:0
Stargazers:0Issues:0Issues:0

yed

Your Editor

Language:CLicense:MITStargazers:0Issues:1Issues:0
Language:CStargazers:0Issues:1Issues:0

yedPlugins

Where I ruin other people's work

Stargazers:0Issues:2Issues:0
Stargazers:0Issues:1Issues:0