Yet Another Pruning Tool. Because we're not satisfied with all the ones out there.
A port of the Intel XED disassembler to the K Framework.
CS 205 Workbook for Spring 2017
A Xilinx HLS DNN accelerator based on Winograd algorithm and systolic array.
A installation project revolving around Fourier Transform
Library for modeling, simulation, and verification of interacting autonomous agents
This folder contains the files for universal-all-atomTutorial.
Repo for research on Ukraine Open Street Map Data