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☆100Updated 9 months ago
- A header-only C++ library for writing compiler/interpreter frontends.☆14Updated 3 weeks ago
- Fast WebAssembly Baseline Compiler☆56Updated 2 years ago
- A minimal (really) out-of-tree MLIR example☆44Updated 3 weeks ago
- Python bindings for egg☆49Updated 2 years ago
- ☆22Updated 2 years 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
- Some experiments with SMT solvers and GIMPLE IR☆74Updated this week
- Prototype implementation of Heartbeat Scheduling, in C++☆18Updated 2 years ago
- ☆17Updated last year
- ☆82Updated 7 months ago
- Source for the OpenCilk runtime system, based on Cheetah.☆22Updated this week
- ☆48Updated 4 years ago
- Can I make an *optimizing* compiler under 1k lines of code?☆58Updated 3 months ago
- A SIMD-based C++ library providing rank/select queries over mutable bitmaps.☆35Updated 2 years ago
- Code generation tool to generate mathematical libraries☆56Updated 2 months ago
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Like `which`, for dynamic libraries☆39Updated 5 months ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆16Updated last year
- An interface for using mwillsey/egg with math simplification.☆13Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- vertical + gpu + free join + datalog☆20Updated 3 months ago
- simple snapshot-style integration testing for commands☆71Updated this week
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Embedded Universal DSL: a good DSL for us, by us☆37Updated this week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆47Updated last week
- C++ implementation of the preliminary IEEE P1788 standard for interval arithmetic☆47Updated 9 years ago
- C++ template library for floating point operations☆27Updated last month
- CDSChecker: A Model Checker for C11 and C++11 Atomics☆29Updated 11 years ago