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:
- π¦ AD in less than 20 linesβ54Updated 4 years ago
- Python bindings for eggβ49Updated 2 years ago
- β23Updated 2 years ago
- Python bindings for the egg-smol rust libraryβ85Updated last week
- The implementation of the Elevate languageβ29Updated 5 months ago
- Code generation tool to generate mathematical librariesβ56Updated 5 months ago
- Pull your compiler up with abstract bootstraps.β31Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ insteadβ81Updated last year
- Various Futhark benchmark programsβ42Updated 2 weeks ago
- β30Updated 7 years ago
- Stalinβ, a brutally optimizing compiler for the VLAD languageβ76Updated 7 years ago
- A formalization of first-order logic and Peano's axioms in Pythonβ20Updated 2 months ago
- Compiler with automatic differentiationβ48Updated last year
- The Shine compiler for the RISE languageβ83Updated 2 weeks ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.β71Updated 2 weeks ago
- Examples of Automatic Differentiation (AD) in many different languages and systemsβ27Updated 7 years ago
- J Language Source Code. Livestream links β¬οΈβ38Updated 3 years ago
- embedding MLIR in LEANβ47Updated last year
- Modeling and Programming with Gecodeβ51Updated 2 years ago
- A repository of mathematical knowledge written in the Mathlingua language.β17Updated 9 months ago
- Terminal CLI to Mathics3β59Updated this week
- A toy compiler for NumPy array expressions that uses e-graphs and MLIRβ97Updated last week
- Implementation of the RISE languageβ14Updated 4 years ago
- Source of metamath bookβ49Updated last year
- The rule-based graph programming language GP 2β68Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityβ67Updated last year
- MimIR is my Intermediate Representationβ71Updated last week
- Jupyter kernel for Coqβ95Updated 11 months ago
- Python S-expression emulation using tuple-like objects.β22Updated last month
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.β148Updated 2 years ago