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:
- ☆24Updated 2 years ago
- Python bindings for egg☆49Updated 2 years ago
- 🦠 AD in less than 20 lines☆54Updated 4 years ago
- Python bindings for the egglog rust library☆94Updated this week
- A formalization of first-order logic and Peano's axioms in Python☆21Updated 6 months ago
- The implementation of the Elevate language☆30Updated 9 months ago
- Various Futhark benchmark programs☆43Updated last week
- Compiler with automatic differentiation☆49Updated 2 years ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆76Updated 7 years ago
- ☆30Updated 7 years ago
- Source of metamath book☆52Updated 2 years ago
- Pull your compiler up with abstract bootstraps.☆31Updated 3 years ago
- The Shine compiler for the RISE language☆83Updated last month
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- ☆44Updated 2 months ago
- Terminal CLI to Mathics3☆60Updated 3 weeks ago
- A thin, highly portable toolkit for efficiently compiling dense loop-based computation.☆149Updated 2 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆27Updated 7 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆31Updated 4 years ago
- Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.☆72Updated 4 months ago
- embedding MLIR in LEAN☆48Updated last year
- Parallel Programming in Futhark☆49Updated 2 months ago
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆67Updated 2 years ago
- Implementation of the RISE language☆14Updated 5 years ago
- The Principia Rewrite☆228Updated last month
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- This repository contains the core and extended source files of the standard library of the SaC programming language.☆16Updated last month
- [Archived] A scalable differentiable probabilistic Datalog engine, with Rust☆73Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year