gilbo / atlLinks
A Tensor Language
☆55Updated 4 years ago
Alternatives and similar repositories for atl
Users that are interested in atl are comparing it to the libraries listed below
Sorting:
- Macaulay2 web app with support for KaTeX and HTML output☆18Updated last week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 6 months ago
- Various Futhark benchmark programs☆42Updated 2 weeks ago
- Python bindings for egg☆49Updated 2 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆69Updated 3 years ago
- ☆22Updated 2 years ago
- The implementation of the Elevate language☆29Updated 2 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆75Updated 7 years ago
- 🦠 AD in less than 20 lines☆54Updated 3 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Pull your compiler up with abstract bootstraps.☆31Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆14Updated last year
- Code generation tool to generate mathematical libraries☆56Updated 2 months ago
- Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge☆76Updated 5 years ago
- MLIR tools and dialect for GraphBLAS☆18Updated 3 years ago
- Python bindings for the egg-smol rust library☆76Updated this week
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 6 years ago
- ☆30Updated 7 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 5 years ago
- Source of metamath book☆48Updated last year
- The Shine compiler for the RISE language☆82Updated last week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIR☆47Updated last week
- embedding MLIR in LEAN☆47Updated 11 months ago
- BQN implementation in Julia☆18Updated 3 years ago
- Python S-expression emulation using tuple-like objects.☆22Updated 8 months ago
- Implementation of the RISE language☆14Updated 4 years ago
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated last year
- A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…☆70Updated 11 months ago
- A variety of programming models relevant to scientists explained, with an emphasis on how programming constructs map to parts of the com…☆61Updated 6 years ago