eliben / radgradLinks
Tracing-based reverse mode automatic differentiation (like autograd!)
☆19Updated 4 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☆99Updated 10 months ago
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated 2 weeks ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated last week
- egg is a flexible, high-performance e-graph library☆12Updated last year
- ☆22Updated 2 years ago
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆52Updated this week
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- Python bindings for egg☆49Updated 2 years ago
- Declarative MLIR compilers in Python!☆35Updated 4 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆16Updated last year
- Interpreter and compiler for the ISA specification language "Architecture Specification Language" (ASL)☆20Updated this week
- A minimal (really) out-of-tree MLIR example☆44Updated last week
- ☆40Updated last year
- MimIR is my Intermediate Representation☆68Updated last week
- Embedded Universal DSL: a good DSL for us, by us☆38Updated this week
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆30Updated 11 years ago
- UB-aware interpreter for LLVM debugging☆29Updated this week
- ☆12Updated 2 weeks ago
- Website for CS 265☆29Updated 5 months ago
- Modeling futexes in TLA+☆20Updated 8 months ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated this week
- Verified and Efficient Matching of Regular Expressions with Lookaround☆23Updated 6 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- A term rewriting system for experimental programming language development.☆44Updated last week
- ☆23Updated 6 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆108Updated 10 months ago
- ☆18Updated 11 months ago