Giters
Piyus Kedia (piyus)

piyus

Geek Repo

0

followers

0

following

0

stars

Company:@Systems-IIITD

Location:New Delhi

Home Page:https://github.com/Systems-IIITD

Github PK Tool:Github PK Tool

Piyus Kedia's repositories

piyus.github.io

Language:HTMLStargazers:0Issues:0Issues:0

CGuard_proj

CGuard project repository

License:MITStargazers:0Issues:0Issues:0

examples_cg

Small test cases for CGuard

Language:CStargazers:0Issues:0Issues:0

jemalloc_cg

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

changes_cg

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

resources_cg

Scripts for SPEC, LLVM, etc.

Language:ShellStargazers:0Issues:0Issues:0

Phoenix-2.0_cg

Language:CStargazers:0Issues:0Issues:0

llvm_cg

Language:LLVMLicense:NOASSERTIONStargazers:0Issues:0Issues:0

clang_cg

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

Verifier

A verifier for checking IFC properties

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

Webserver

Webserver_SGX

Language:CStargazers:0Issues:0Issues:0

btkernel

Fast Binary Translator for the Kernel

Language:CLicense:GPL-3.0Stargazers:27Issues:0Issues:0

qemu-rr

A full system Record/Replay implementation in qemu-0.13.0

Language:CLicense:NOASSERTIONStargazers:8Issues:0Issues:0