jubitaneja

cranelift-peepholes

Automatic peephole optimizer for Cranelift JIT compiler

souper-cgo20-artifact

"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

artifact-cgo

Testing Static Analyses for Precision and Soundness

hat

TOML-annotated C header file format for packaging binary files, from Microsoft Research

jubitaneja.github.io

souper

Add more functionality in souper

Accera

Open source cross-platform compiler for compute-intensive loops used in AI algorithms, from Microsoft Research

alive

Alive: Automatic LLVM's Instcombine Verifier

binaryen

Compiler infrastructure and toolchain library for WebAssembly, in C++

msccl

Microsoft Collective Communication Library

calc-compiler

tiny language compiler for class

cretonne

Cretonne code generator

DFA-assignments

llvm

Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated every five minutes.

llvm-transformation-pass

Template for an out-of-tree LLVM pass

OpenDesign

Mozilla Open Design aims to bring open source principles to Creative Design. IRC: #opendesign on irc.mozilla.org | Telegram: telegram.me/opendesign

rust

A safe, concurrent, practical language.

sightglass

A benchmark suite and tool to compare different implementations of the same primitives.

vimrc

Very nice vimrc is this!

wasi-sdk

WASI-enabled WebAssembly C/C++ toolchain

wasmtime

Standalone JIT-style runtime for WebAssembly, using Cranelift

z3

The Z3 Theorem Prover