Giters
Gang Tan (gangtan)

gangtan

Geek Repo

11

followers

1

following

3

stars

Company:Penn State

Github PK Tool:Github PK Tool

Gang Tan's repositories

CPUmodels

GoNative project: formal machines models in Coq

Language:CoqStargazers:34Issues:4Issues:0

Test

Stargazers:1Issues:1Issues:0

gtanbib

Language:TeXStargazers:0Issues:0Issues:0

LangSec-papers-and-slides

Papers and slides repo for LangSec

Stargazers:0Issues:1Issues:0

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

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