Pinned Repositories
souper
A superoptimizer for LLVM IR
Accera
Open source cross-platform compiler for compute-intensive loops used in AI algorithms, from Microsoft Research
artifact-cgo
Testing Static Analyses for Precision and Soundness
cranelift-peepholes
Automatic peephole optimizer for Cranelift JIT compiler
cretonne
Cretonne code generator
hat
TOML-annotated C header file format for packaging binary files, from Microsoft Research
jubitaneja.github.io
msccl
Microsoft Collective Communication Library
souper
Add more functionality in souper
souper-cgo20-artifact
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
jubitaneja's Repositories
jubitaneja/cranelift-peepholes
Automatic peephole optimizer for Cranelift JIT compiler
jubitaneja/souper-cgo20-artifact
"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.
jubitaneja/artifact-cgo
Testing Static Analyses for Precision and Soundness
jubitaneja/cretonne
Cretonne code generator
jubitaneja/hat
TOML-annotated C header file format for packaging binary files, from Microsoft Research
jubitaneja/jubitaneja.github.io
jubitaneja/souper
Add more functionality in souper
jubitaneja/Accera
Open source cross-platform compiler for compute-intensive loops used in AI algorithms, from Microsoft Research
jubitaneja/alive
Alive: Automatic LLVM's Instcombine Verifier
jubitaneja/binaryen
Compiler infrastructure and toolchain library for WebAssembly, in C++
jubitaneja/msccl
Microsoft Collective Communication Library
jubitaneja/Algorithms-And-Data-Structures
This repository contains a collection of projects in C++ and Python that implement various data structures and algorithms. The projects are organized by language and topic, and include detailed explanations and examples to help you understand how they work.
jubitaneja/calc-compiler
tiny language compiler for class
jubitaneja/DFA-assignments
jubitaneja/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.
jubitaneja/llvm-transformation-pass
Template for an out-of-tree LLVM pass
jubitaneja/OpenDesign
Mozilla Open Design aims to bring open source principles to Creative Design. IRC: #opendesign on irc.mozilla.org | Telegram: telegram.me/opendesign
jubitaneja/rust
A safe, concurrent, practical language.
jubitaneja/sightglass
A benchmark suite and tool to compare different implementations of the same primitives.
jubitaneja/vimrc
Very nice vimrc is this!
jubitaneja/wasi-sdk
WASI-enabled WebAssembly C/C++ toolchain
jubitaneja/wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift
jubitaneja/z3
The Z3 Theorem Prover