pengmai / lagradView external linksLinks
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
- MLIR+EqSat☆25Jan 10, 2026Updated last month
- A generic, composable multi-dimensional array library.☆12Updated this week
- ☆29Nov 29, 2025Updated 2 months ago
- ☆55Aug 9, 2024Updated last year
- Example for running IREE in a bare-metal Arm environment.☆40Jul 28, 2025Updated 6 months ago
- Declarative MLIR compilers in Python!☆36Oct 9, 2020Updated 5 years ago
- Conversions to MLIR EmitC☆134Dec 12, 2024Updated last year
- Repositório oficial da disciplina de Criatividade Computacional do CIn/UFPE☆12Jul 5, 2025Updated 7 months ago
- An Educational Framework Based on PyTorch for Deep Learning Education and Exploration☆10Dec 24, 2023Updated 2 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆115Aug 11, 2025Updated 6 months ago
- Work related to vectorizing strategies for arbitrary FHE programs☆10Sep 5, 2025Updated 5 months ago
- ☆16Jul 18, 2022Updated 3 years ago
- Agda Library to Study the Expressive Power of Languages for Static Variability☆13Dec 13, 2025Updated 2 months ago
- [ICML2025] Official codebase for "TeLoGraF: Temporal Logic Planning via Graph-encoded Flow Matching"☆17Jul 14, 2025Updated 7 months ago
- ☆12Apr 30, 2024Updated last year
- ☆13May 9, 2024Updated last year
- NYU's Introduction to Deep Learning Research☆39Updated this week
- A composite GitHub action that can be used to create or update a GitHub issue/pull request comment.☆10Oct 4, 2025Updated 4 months ago
- ☆10Oct 22, 2019Updated 6 years ago
- Repo for materials for coordinating work on improving Julia's function documentation☆10Jul 30, 2022Updated 3 years ago
- Benchmarking LLMs on Typst☆19May 26, 2025Updated 8 months ago
- Perceptron-based branch predictor written in C++☆12Dec 14, 2016Updated 9 years ago
- Development for: Formally Verified Speculation and Deoptimization in a JIT Compiler☆12Nov 17, 2022Updated 3 years ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- Chart.js bindings for OCaml☆13May 13, 2021Updated 4 years ago
- constexpr char array concatenation, car_cat collection☆10Jan 17, 2018Updated 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
- ☆18Sep 27, 2022Updated 3 years ago
- The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.☆117Nov 5, 2025Updated 3 months ago
- a little library to help me with things involving Koopman operators☆12Mar 3, 2022Updated 3 years ago
- Set up a specific version of the Z3 theorem prover☆13Jan 26, 2026Updated 2 weeks ago
- ☆21Oct 7, 2025Updated 4 months ago
- A debugger frontend for assembly x86 code runing in Real Mode (tested inside QEMU) (based on gdb)☆11Jun 11, 2021Updated 4 years ago
- An Erlang C Node implemented with Zig☆12Apr 6, 2023Updated 2 years ago
- Protocol Buffers lexer & parser for PLY☆12Nov 11, 2014Updated 11 years ago
- collection of evil code☆14Feb 20, 2013Updated 12 years ago
- A theme for VS Code☆16May 12, 2021Updated 4 years ago
- Open-source AI acceleration on FPGA: from ONNX to RTL☆48Jan 5, 2026Updated last month