Giters
ashutosh0gupta

ashutosh0gupta

Geek Repo

4

followers

0

following

0

stars

Company:IIT Bombay

Location:Mumbai

Home Page:https://www.cse.iitb.ac.in/~akg/

Github PK Tool:Github PK Tool

ashutosh0gupta's repositories

TARA

Our trace seperation tool, originally introduced on POPL15.

Language:C++Stargazers:5Issues:5Issues:1

llvm_bmc

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

cfrontend

LLVM based cfrontend for verification tools

Language:C++License:GPL-3.0Stargazers:1Issues:0Issues:0

sugar-synth

Sygar synthesis tool

Language:TeXLicense:Apache-2.0Stargazers:1Issues:0Issues:0

android_concurrency

Language:JavaStargazers:0Issues:0Issues:0

randomAttendance

For taking random attendance in the class

Language:CSSLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ventme

Language:CSSStargazers:0Issues:0Issues:0