HARP Lab
We are the HARP (High-performance Automated Reasoning and Programming) lab
United States of America
Pinned Repositories
aam-visualizer
Assemblage
The repo holds Assemblage
brainPH
bruck-alltoallv
gdlog
GPUJoin
GraphWaGu
slog-lang1
Slog 1.0
usenixATC23
virus-taxonomy-D3
HARP Lab's Repositories
harp-lab/gdlog
harp-lab/GraphWaGu
harp-lab/slog-lang1
Slog 1.0
harp-lab/Assemblage
The repo holds Assemblage
harp-lab/bruck-alltoallv
harp-lab/GPUJoin
harp-lab/brainPH
harp-lab/usenixATC23
harp-lab/virus-taxonomy-D3
harp-lab/aam-visualizer
harp-lab/brouhaha
A minimal Racket-like language
harp-lab/parallel-RA
harp-lab/d3re-ghidra-plugin
Ghidra plugin to handle GTIRB files
harp-lab/maze-game
A maze-game server
harp-lab/MPI-tutorial
harp-lab/rosetta-slog
A set of slog example code
harp-lab/TDA
TDA and Persistent homology
harp-lab/TemporalBrainPH
harp-lab/EduHPC22
harp-lab/hueshift
A framework for javascript visualization applications. Provides base browser client and server applications. "FEXT" interfaces allow feature extensibility.
harp-lab/Assemblage_dataset_cli
harp-lab/gdlog-HIP
harp-lab/IA3Paper
harp-lab/ISC23
harp-lab/java-interview-questions
Java Interview Questions ( v8 )
harp-lab/python_graphics_intro
A step-by-step introduction to basic python with graphics
harp-lab/R-MAT
Mirror of https://www.cse.psu.edu/~kxm85/software/GTgraph/
harp-lab/rbruck_alltoall
harp-lab/su-qualifier-answers
Answers for Syracuse University's PL qualifier in Coq / in text
harp-lab/temporalPH
Temporal PH paper