Alternatives and similar repositories for atl:

Users that are interested in atl are comparing it to the libraries listed below

• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• riswords / quiche
  ☆22Updated 2 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 5 months ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last month
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆75Updated this week
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆69Updated 3 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 2 months ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆27Updated last month
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆47Updated last year
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆18Updated 3 years ago
• SparseLinearAlgebra / cuBool
  Sparse linear Boolean algebra for Nvidia Cuda
  ☆24Updated this week
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated 4 months ago
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• SimonDanisch / julia-challenge
  Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge
  ☆76Updated 5 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆29Updated last week
• JuliaLLVM / MLIR.jl
  Julia library to manipulate MLIR dialects.
  ☆61Updated 3 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• Z80coder / db-nets
  ∂B nets: learning discrete, boolean-valued functions by gradient descent
  ☆21Updated last year
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated 10 months ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated 3 weeks ago
• OpenCilk / cheetah
  Source for the OpenCilk runtime system, based on Cheetah.
  ☆22Updated last month