Jiayi Yang's repositories

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Language:JavaLicense:NOASSERTIONStargazers:1Issues:0Issues:0

GitHubGraduation-2021

Join the GitHub Graduation Yearbook and "walk the stage" on June 5.

Language:JavaScriptStargazers:0Issues:0Issues:0

Parallel-GPU-based-Algorithms-for-Matrix-Computations

Parallel GPU based Algorithms for Matrix Computations

Language:CudaLicense:MITStargazers:1Issues:0Issues:0