eliben / radgradLinks
Tracing-based reverse mode automatic differentiation (like autograd!)
☆20Updated 5 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☆100Updated 10 months ago
- MimIR is my Intermediate Representation☆69Updated this week
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- ☆20Updated 4 months ago
- Python bindings for egg☆49Updated 2 years ago
- Embedded Universal DSL: a good DSL for us, by us☆40Updated this week
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆56Updated last week
- ☆22Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 3 weeks ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆109Updated 11 months ago
- simple snapshot-style integration testing for commands☆71Updated last month
- Can I make an *optimizing* compiler under 1k lines of code?☆60Updated 4 months ago
- Online demo without installing at - https://buildit.so/tryit☆178Updated last week
- Fast WebAssembly Baseline Compiler☆57Updated 2 years ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆104Updated 10 months ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated last week
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated last week
- Website for CS 265☆29Updated 6 months ago
- A minimal (really) out-of-tree MLIR example☆44Updated last month
- Support for for students (Python)☆64Updated last month
- Python bindings for the egg-smol rust library☆81Updated this week
- A list of articles outside of the official MLIR docs that I've found useful for learning MLIR☆11Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆38Updated last year
- A Clang-based C++ Interoperability Library☆73Updated this week
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago