EnzymeAD / Enzyme-MLIR-ReverseLinks
Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.
☆11Updated 2 years ago
Alternatives and similar repositories for Enzyme-MLIR-Reverse
Users that are interested in Enzyme-MLIR-Reverse are comparing it to the libraries listed below
Sorting:
- Julia library to manipulate MLIR dialects.☆62Updated 7 months ago
- Custom Bindings for Enzyme Automatic Differentiation Tool and Interfacing with JAX.☆96Updated this week
- Flexible and performant GEMM kernels in Julia☆83Updated last month
- ☆63Updated 7 months ago
- Reusable compiler infrastructure for Julia GPU backends.☆163Updated this week
- Julia implementation of the Flash Attention algorithm☆19Updated 2 years ago
- ꩜ Lift Julia array operations to MLIR dialects and run using IREE.☆41Updated 8 months ago
- Diff-o-matic does auto diff☆14Updated 3 years ago
- Sparse and Structured Tensor Compiler☆219Updated this week
- Programming Gemm Kernels on NVIDIA GPUs with Tensor Cores in Julia☆42Updated last month
- Benchmarks for differentiable programming across languages and domains.☆47Updated this week
- ☆13Updated 11 months ago
- A borrow checker for Julia☆111Updated last month
- Julia interface to Z3☆70Updated last month
- Evaluate LLM-synthesized @JuliaLang code.☆26Updated last year
- Julia implementation of flash-attention operation for neural networks.☆11Updated 2 years ago
- GPU integrations for Dagger.jl☆54Updated 2 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆40Updated 3 weeks ago
- A Julia port of the Lark parser☆50Updated last month
- Interface to multicore QR factorization qr_mumps☆18Updated 4 months ago
- Probabilistic programming with programmable inference for parallel accelerators.☆35Updated last week
- Time travel in JuliaLang. (Useful for testing what code did before your changes)☆17Updated 2 years ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆49Updated 3 weeks ago
- "Maybe we have our own magic."☆47Updated 5 years ago
- A domain specific language (DSL) for probabilistic graphical models☆57Updated this week
- Online inference on reactive probabilistic models, with SMC and symbolic methods☆16Updated 2 years ago
- Resumable and copyable functions a.k.a. coroutines for Julia, with optional function-specific globals.☆20Updated last month
- An MLIR-based source-to-source automatic differentiation system.☆14Updated 2 years ago
- Implicit Layer Machine Learning via Deep Equilibrium Networks, O(1) backpropagation with accelerated convergence.☆57Updated last month
- Common types and interfaces for probabilistic programming☆29Updated 3 weeks ago