Stars
Optimize Julia Functions With MLIR and XLA for High-Performance Execution on CPU, GPU, TPU and more.
Custom Bindings for Enzyme Automatic Differentiation Tool and Interfacing with JAX.
EnzymeAD / rust
Forked from rust-lang/rustA rust fork to work towards Enzyme integration
Online demo without installing at - https://buildit.so/tryit
High-performance automatic differentiation of LLVM and MLIR.
Julia bindings for the Enzyme automatic differentiator
A repo just containing everything to build a working enzyme/rustc/llvm/clang stack.
Enzyme integration into Rust. Experimental, do not use.
Experimental compiler infrastructure for KernelAbstractions
Bridging polyhedral analysis tools to the MLIR framework
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
NUBIA (NeUral Based Interchangeability Assessor) is a new SoTA evaluation metric for text generation
A common suite of test functions for stressing the robustness of differentiation tools.
Code for problem at http://math.stackexchange.com/questions/833541/making-friends-around-a-circular-table
Extended version of Tensorflow MNIST tutorial (https://www.tensorflow.org/versions/r0.11/tutorials/index.html) with visualization of results.
Verification of vulnerability of neural network to adversarial examples.
vtjeng / ConditionalJuMP.jl
Forked from rdeits/ConditionalJuMP.jlAutomatic transformation of implications and complementarity into mixed-integer models in Julia
Evaluating Robustness of Neural Networks with Mixed Integer Programming
A domain specific language to express machine learning workloads.
A transparent bridge between Git and Dropbox - use a Dropbox (shared) folder as a Git remote! 🎁
Scripts for building the 32 and 64-bit MinGW-W64 compilers for Windows