Pinned Repositories
calfuzzer
EdgeML
This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.
pintos
http://web.stanford.edu/class/cs140/projects/pintos/pintos.html
alive2
Automatic verification of LLVM optimizations
coding-contest-interface
corral
solver for the reachability modulo theories problem
Examples
A collection of TLA+ specifications of varying complexities
java-algorithms-implementation
Algorithms and Data Structures implemented in Java
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.
null-pointer-dereference
sridhargopinath's Repositories
sridhargopinath/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.
sridhargopinath/Examples
A collection of TLA+ specifications of varying complexities
sridhargopinath/pluscal
sridhargopinath/EdgeML
This repository provides code for machine learning algorithms for edge devices developed at Microsoft Research India.
sridhargopinath/sridhargopinath.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
sridhargopinath/alive2
Automatic verification of LLVM optimizations
sridhargopinath/SjceResults
SjceResults is an examination results analytics website.
sridhargopinath/corral
solver for the reachability modulo theories problem
sridhargopinath/java-algorithms-implementation
Algorithms and Data Structures implemented in Java
sridhargopinath/null-pointer-dereference
sridhargopinath/soot
Soot - A Java optimization framework
sridhargopinath/calfuzzer
sridhargopinath/coding-contest-interface
sridhargopinath/pintos
http://web.stanford.edu/class/cs140/projects/pintos/pintos.html