Groverkss
Follow
Stars
A solver of loud framework, for synthesizing strongest over-approximation and weakest under-approximation
Unified compiler/runtime for interfacing with PyTorch Dynamo.
An implementation of Barvinok's Algorithm (for counting integer points in polyhedra) in islpy, preliminary to an FPL implementation.
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
A guide to learn and become active in the demoscene within a couple of weeks
This action checks if the source code matches the .clang-format file.
A fast, clean, responsive Hugo theme.
"We must know. We shall know." - David Hilbert
Syllabus and course offerings for courses in IIITH.
C/C++ frontend for MLIR. Also features polyhedral optimizations, parallel optimizations, and more!
A listing of compiler, language and runtime teams for people looking for jobs in this area
A collection of extensions for Vitis and Intel FPGA OpenCL to improve developer quality of life.
The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
Bridging polyhedral analysis tools to the MLIR framework
A beautiful stack trace pretty printer for C++
A set of cmake modules to assist in building code
Serial utility for flashing, provisioning, and interacting with Espressif SoCs
The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)
A cheatsheet of modern C++ language and library features.
examples of using ip rules and multiple routing tables to solve real-world problems