Tanmay Tirpankar's repositories
CIRE
Library and tool for statically estimating worst case first order error
conditionalDivergence
Experimenting with conditionals
cs6110s22
Repo to serve class material for CS 6110, Spring 2022
gelpia
Rigorous Global Branch-and-Bound Optimizer
Gklee
GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
mobile-flashcards
Udacity Mobile Flashcards project
RadixSort
Parallel RadixSort on Octrees
Satire
Floating-point scalable and rigorous Error analysis
SatireWebInterface
This repository contains the web interface of satire that runs on Tomcat
Seesaw_Web_Interface
Web Interface for Seesaw
SequentialMST
Sequential Code and algorithm for finding a Minimum Spanning Tree
sword
A lightweight data race detector for OpenMP programs
would_you_rather
Udacity Would You Rather Redux Project
xv6-riscv
Xv6 for RISC-V