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
- ☆29Nov 29, 2025Updated 2 months ago
- ☆55Aug 9, 2024Updated last year
- Conversions to MLIR EmitC☆134Dec 12, 2024Updated last year
- A translation validation framework for MLIR☆92Mar 19, 2025Updated 10 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
- Numpy compatible polynomial representation☆12Jan 2, 2026Updated last month
- Embedded Universal DSL: a good DSL for us, by us☆66Updated this week
- A hardware synthesis framework with multi-level paradigm☆44Jan 10, 2025Updated last year
- Benchmarking LLMs on Typst☆19May 26, 2025Updated 8 months ago
- Cavs: An Efficient Runtime System for Dynamic Neural Networks☆15Sep 18, 2020Updated 5 years ago
- ☆11Dec 7, 2021Updated 4 years ago
- An automatic differentiation system for dense and sparse problems☆13Jan 16, 2025Updated last year
- Utility that parses stack sizes section from elf objects and displays the preallocated stack size of each function.☆14Jan 15, 2020Updated 6 years ago
- [ASPDAC23] High Dimensional Yield Estimation using Shrinkage Deep Features and Maximization of Integral Entropy Reduction☆13Oct 9, 2022Updated 3 years ago
- Elixir modules for accessing the Grafana API and retrieving Grafana visualizations☆10Oct 10, 2017Updated 8 years ago
- Azure wrapper for Elixir using :erlazure.☆11Dec 29, 2023Updated 2 years ago
- CingI: Distributed pipeline/task runner for Continuous-ing Integration☆13Oct 9, 2017Updated 8 years ago
- constexpr char array concatenation, car_cat collection☆10Jan 17, 2018Updated 8 years ago
- ☆12Apr 30, 2024Updated last year
- A debugger frontend for assembly x86 code runing in Real Mode (tested inside QEMU) (based on gdb)☆11Jun 11, 2021Updated 4 years ago
- RP2040-based flight computer for rockets☆13Jul 8, 2025Updated 7 months ago
- Weibo OAuth2 strategy for Überauth.☆11May 12, 2016Updated 9 years ago
- ASM generation tool for GAS/NASM/MASM with Xbyak-like syntax in Python☆12Nov 10, 2025Updated 3 months ago
- Artifact for paper "Chronosymbolic: Efficient CHC Solving with Symbolic Reasoning and Inductive Learning" in Python☆11Aug 4, 2024Updated last year
- An Erlang C Node implemented with Zig☆12Apr 6, 2023Updated 2 years ago
- a little library to help me with things involving Koopman operators☆12Mar 3, 2022Updated 3 years ago
- Building neural networks. Using Ruby and Elixir☆13Dec 19, 2015Updated 10 years ago
- Unified interface for accessing and modifying LocalStorage, SessionStorage and Cookies☆13Feb 7, 2017Updated 9 years ago
- Gradual introduction to interactive graphics programs.☆10Aug 13, 2020Updated 5 years ago
- collection of evil code☆14Feb 20, 2013Updated 12 years ago
- Enzyme integration into Rust. Experimental, do not use.☆102Feb 24, 2023Updated 2 years ago
- ☆41Dec 10, 2024Updated last year
- TUI client for euphoria.leet.nu, a threaded real-time chat platform☆10Jun 28, 2025Updated 7 months ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Jul 26, 2023Updated 2 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Mar 23, 2023Updated 2 years ago
- Control barrier functions (CBFs) in Julia.☆14Sep 19, 2024Updated last year
- [DAC2024] A Holistic Functionalization Approach to Optimizing Imperative Tensor Programs in Deep Learning☆15Jan 13, 2024Updated 2 years ago