kirshanthans

kirshanthans's Stars

• sharkdp/hyperfine

  A command-line benchmarking tool

  Language:Rust23.7k96260381

• modularml/mojo

  The Mojo Programming Language

  Language:Mojo23.6k2642.3k2.6k

• google/highway

  Performance-portable, length-agnostic SIMD with runtime dispatch

  Language:C++4.3k48418330

• ksluckow/awesome-symbolic-execution

  A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

  1.4k636140

• j2kun/mlir-tutorial

  MLIR For Beginners tutorial

  Language:C++878181776

• trailofbits/vast

  VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choose the best fit representations for a program analysis or further program abstraction.

  Language:C++4042435125

• xdslproject/xdsl

  A Python Compiler Design Toolkit

  Language:Python2972145779

• bondhugula/pluto

  Pluto: An automatic polyhedral parallelizer and locality optimizer

  Language:C280177066

• sunxfancy/vscode-llvm

  VSCode LLVM Compiler Explorer

  Language:TypeScript229314

• cyclops-community/ctf

  Cyclops Tensor Framework: parallel arithmetic on multidimensional arrays

  Language:C++2022410754

• yzhaiustc/Optimizing-DGEMM-on-Intel-CPUs-with-AVX512F

  Stepwise optimizations of DGEMM on CPU, reaching performance faster than Intel MKL eventually, even under multithreading.

  Language:C1215125

• Meinersbur/ppcg

  Polyhedral Parallel Code Generation (source repository: http://repo.or.cz/ppcg.git)

  Language:C12013237

• noise-lab/research-course

  "How to Do Great Research" Course for Ph.D. Students

  Language:TeX1094210

• qir-alliance/qcor

  C++ compiler for heterogeneous quantum-classical computing built on Clang and XACC

  Language:C++97913939

• swkim101/cspapers.org

  A search engine dedicated to CS conferences. It provides useful filters for conferences and year range.

  Language:JavaScript87391

• qir-alliance/qir-spec

  QIR specification defining how to represent quantum programs within the LLVM IR

  68101519

• dminor/skip-quadtree

  Implementation of the skip quadtree and compressed quadtree data structures.

  Language:C27302

• samrushing/cps-python

  CPS transform for Python

  Language:Python22504

• tavianator/ray_box

  Benchmarking ray/bounding box intersection tests

  Language:C20411

• kovach/etch

  Language:Lean17528

• Kraks/quantum-compiler

  Quantum circuits compiler with staging and continuations

  Language:Scala15400

• laithsakka/Grafter

  TreeFuser is a tool that perform traversals fusion for recursive tree traversals written in subset of the c++ language.

  Language:C++10326

• charitha22/cgo22ae-darm-code

  Language:C++6101

• charitha22/hybf-cc23-artifact

  5403

• adhithadias/SparseLNR

  The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs

  Language:C++4001

• kirshanthans/polyrec

  Composable, Sound Transformations of Nested Recursion and Loops

  Language:Python4100

• kirshanthans/twisted-interchanger

  Locality Transformations for Nested Recursive Iteration Spaces

  Language:C++4101

• charitha22/cgo22ae-darm-benchmarks

  Language:C++2101

• MDurgaKeerthi/Arkade

  Language:C++2100

• vidsinghal/Orchard

  Orchard - fusion and parallelism for recursive tree traversals

  Language:C++1000