jubitaneja Goto Github PK

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

binaryen

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

calc-compiler

tiny language compiler for class

cranelift-peepholes

Automatic peephole optimizer for Cranelift JIT compiler

cretonne

Cretonne code generator

dfa-assignments

hat

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

jubitaneja.github.io

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

msccl

Microsoft Collective Communication Library

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.

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.

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