Giters
Jingjia Peng (jingjia-peng)

jingjia-peng

Geek Repo

15

followers

25

following

37

stars

Company:University of Michigan-Ann Arbor

Location:Ann Arbor, Michigan

Github PK Tool:Github PK Tool

Jingjia Peng's starred repositories

hayha

Verifying CloudFormation deployments for intra-update sniping vulnerabilities

Language:PythonLicense:MITStargazers:4Issues:0Issues:0

eecs489

EECS 489: Computer Networks @ the University of Michigan

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

stng

compiler for fortran stencils using verified lifting,

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

katara

Synthesize CRDTs from classic data types with verified lifting!

Language:PythonLicense:Apache-2.0Stargazers:141Issues:0Issues:0

LLMSys-PaperList

Large Language Model (LLM) Systems Paper List

Stargazers:537Issues:0Issues:0