Kunwar Grover's repositories
IIIT-Courses-Resources
Resources related to IIITH courses for learning beyond the courses.
cmake-template
Template I use for starting out with C++ projects.
obstacle-avoiding-robot
Code for Obstacle Avoiding Robot in Micropython
circt
Circuit IR Compilers and Tools
clangir
A new (MLIR based) high-level IR for clang.
groverkss.github.io
My thoughts and stuff
iree
A retargetable MLIR-based machine learning compiler and runtime toolkit.
KaleidoscopeLLVM
My second attempt at trying to finish Kaleidoscope since the first one didn't work out due to my laziness :(
lean.nvim
neovim support for the Lean theorem prover
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.
mathlib
Lean mathematical components library
megabump
Scripts for bumping dependencies of our projects.
paper-template
A template for writing CS papers with latex -- includes CI, todonotes, ...
pdns
PowerDNS Authoritative, PowerDNS Recursor, dnsdist
polymer
Bridging polyhedral analysis tools to the MLIR framework
SHARK-Turbine
Unified compiler/runtime for interfacing with PyTorch Dynamo.
torch-mlir
The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.
xdsl
A Python Compiler Design Toolkit