A machine learning compiler for GPUs, CPUs, and ML accelerators

A collection of out-of-tree LLVM passes for teaching and learning

Lean Theorem Prover

example LLVM pass

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

A probabilistic programming language that combines automatic differentiation, automatic marginalization, and automatic conditioning within Monte Carlo methods.

Bridging polyhedral analysis tools to the MLIR framework