eliben / radgradLinks
Tracing-based reverse mode automatic differentiation (like autograd!)
☆23Updated 9 months ago
Alternatives and similar repositories for radgrad
Users that are interested in radgrad are comparing it to the libraries listed below
Sorting:
- Lightweight framework for easy and efficient code generation☆104Updated last year
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆22Updated 2 years ago
- Online demo without installing at - https://buildit.so/tryit☆184Updated last week
- MimIR is my Intermediate Representation☆82Updated last week
- ☆24Updated 2 years ago
- A minimal (really) out-of-tree MLIR example☆45Updated 2 months ago
- simple snapshot-style integration testing for commands☆72Updated 5 months ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆110Updated 3 months ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 4 months ago
- Embedded Universal DSL: a good DSL for us, by us☆54Updated last week
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Updated 2 years ago
- A header-only C++ library for writing compiler/interpreter frontends.☆15Updated last week
- A Clang-based C++ Interoperability Library☆85Updated last week
- ☆21Updated 8 months ago
- Some experiments with SMT solvers and GIMPLE IR☆77Updated last week
- Website for CS 265☆31Updated 10 months ago
- Declarative MLIR compilers in Python!☆35Updated 5 years ago
- Retargetable ML compilers for the twenty-first century!☆13Updated 6 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆113Updated last month
- ☆48Updated 5 years ago
- Python bindings for the egglog rust library☆91Updated last week
- Fast WebAssembly Baseline Compiler☆60Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- Unison's source code☆109Updated last year
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆24Updated 2 months ago
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Updated last year
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago