An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by IITH-Compilers

A curated list of projects in awesome lists by IITH-Compilers .

https://github.com/iith-compilers/ir2vec

Implementation of IR2Vec, LLVM IR Based Scalable Program Embeddings

embeddings llvm

Last synced: 12 Apr 2025

https://github.com/iith-compilers/p4llvm

P4-LLVM is an LLVM based compiler for P4

llvm-ir p4c p4lang

Last synced: 12 Apr 2025

https://github.com/iith-compilers/ml-compiler-bridge

Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations

compiler llvm machinelearning mlir optimization pluto

Last synced: 09 Feb 2025

https://github.com/iith-compilers/polybench-nn

Implementation of DNN layers as Polyhedral (affine) programs

Last synced: 07 Apr 2025

https://github.com/iith-compilers/bullseye

BullsEye: A Scalable cache miss calculator for affine programs

Last synced: 07 Apr 2025

https://github.com/iith-compilers/utvpi-oa

Algorithms for finding tight UTVPI (octagonal) over-approximations of polyhedra using linear programming and Fourier-Motzkin elimination

fourier-motzkin-elimination linear-programming octagon-domain over-approximations polyhedra

Last synced: 12 Apr 2025

https://github.com/iith-compilers/isl-utvpi

First-cut implementation of two newly discovered Efficient Algorithms to compute the tightest octagonal over-approximation of arbitary Polyhedra

abstract-interpretation approximation-algorithms isl octagon-domain polyhedra

Last synced: 12 Apr 2025

https://github.com/iith-compilers/llov

Last synced: 12 Apr 2025

https://github.com/iith-compilers/drb_fortran

DataRaceBench 1.2 kernels written in FORTRAN for LLVM-IR based data race detection tools

data-race-detection dataracebench-fortran-kernels fortran llvm-ir openmp program-verification race-detection

Last synced: 12 Apr 2025