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
alive
Alive: Automatic LLVM's Instcombine Verifier
artifact-cgo
Testing Static Analyses for Precision and Soundness
cranelift-peepholes
Automatic peephole optimizer for Cranelift JIT compiler
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/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/calc-compiler
tiny language compiler for class
jubitaneja/cretonne
Cretonne code generator
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