An MLIR-based source-to-source automatic differentiation system.
☆15Mar 30, 2023Updated 2 years ago
Alternatives and similar repositories for lagrad
Users that are interested in lagrad are comparing it to the libraries listed below
Sorting:
- Fork of Enzyme to work on Reverse-Mode Differentiation at the MLIR-level.☆11Apr 23, 2023Updated 2 years ago
- This repo contains the benchmarks for Enzyme on GPU's☆11Feb 22, 2026Updated last week
- MLIR+EqSat☆26Jan 10, 2026Updated last month
- A generic, composable multi-dimensional array library.☆12Feb 22, 2026Updated last week
- ☆29Nov 29, 2025Updated 3 months ago
- ☆55Aug 9, 2024Updated last year
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- Conversions to MLIR EmitC☆134Dec 12, 2024Updated last year
- An Educational Framework Based on PyTorch for Deep Learning Education and Exploration☆10Dec 24, 2023Updated 2 years ago
- Repositório oficial da disciplina de Criatividade Computacional do CIn/UFPE☆12Jul 5, 2025Updated 8 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆117Aug 11, 2025Updated 6 months ago
- Floating point modules for CHISEL☆32Nov 2, 2014Updated 11 years ago
- A translation validation framework for MLIR☆94Mar 19, 2025Updated 11 months ago
- ☆16Jul 18, 2022Updated 3 years ago
- A hardware synthesis framework with multi-level paradigm☆44Jan 10, 2025Updated last year
- Embedded Universal DSL: a good DSL for us, by us☆66Updated this week
- Elixir modules for accessing the Grafana API and retrieving Grafana visualizations☆10Oct 10, 2017Updated 8 years ago
- Repository used for my master's thesis on implementing RVSDG as a dialect of MLIR☆13May 30, 2023Updated 2 years ago
- ☆12Apr 30, 2024Updated last year
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 5 years ago
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆10Oct 4, 2025Updated 5 months ago
- Repo for materials for coordinating work on improving Julia's function documentation☆10Jul 30, 2022Updated 3 years ago
- ☆10Oct 22, 2019Updated 6 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆13Nov 17, 2022Updated 3 years ago
- CingI: Distributed pipeline/task runner for Continuous-ing Integration☆13Oct 9, 2017Updated 8 years ago
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Jan 15, 2020Updated 6 years ago
- Julia package providing curated system images☆12Jan 1, 2025Updated last year
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- BuckleScript binding for JQuery☆10Nov 1, 2017Updated 8 years ago
- Experimental - join the Nerves discord if interested☆16Feb 17, 2026Updated 2 weeks ago
- ☆11Dec 7, 2021Updated 4 years ago
- Bounding causal effects in general (continuous, non-additive) instrumental variable models.☆14Jul 6, 2023Updated 2 years ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- a little library to help me with things involving Koopman operators☆12Mar 3, 2022Updated 4 years ago
- ☆10Apr 6, 2020Updated 5 years ago
- Tools for analysing results produced by the llvm-xray instrumentation☆16Jan 15, 2021Updated 5 years ago
- A debugger frontend for assembly x86 code runing in Real Mode (tested inside QEMU) (based on gdb)☆11Jun 11, 2021Updated 4 years ago
- Command line tool to send key events to a process☆11May 12, 2021Updated 4 years ago
- Weibo OAuth2 strategy for Überauth.☆11May 12, 2016Updated 9 years ago