Pinned Repositories
CPUmodels
GoNative project: formal machines models in Coq
gtanbib
LangSec-papers-and-slides
Papers and slides repo for LangSec
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.
Test
gangtan's Repositories
gangtan/CPUmodels
GoNative project: formal machines models in Coq
gangtan/Test
gangtan/gtanbib
gangtan/LangSec-papers-and-slides
Papers and slides repo for LangSec
gangtan/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.