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
  ☆46Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 2 months ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 3 months ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆68Updated 3 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 7 months ago
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆18Updated 2 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 11 months ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆53Updated 3 years ago
• riswords / quiche
  ☆22Updated last year
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆76Updated 2 months ago
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• JuliaGPU / GemmKernels.jl
  Flexible and performant GEMM kernels in Julia
  ☆80Updated 2 months ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆17Updated 3 weeks ago
• coq-community / qarith-stern-brocot
  Binary rational numbers in Coq [maintainer=@herbelin]
  ☆12Updated last year
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated this week
• kovach / etch
  ☆17Updated 7 months ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆72Updated 7 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆90Updated 6 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• 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
  ☆80Updated last year
• zenna / Z3.jl
  Julia wrapper for The Z3 Theorem Prover (SMT Solver)
  ☆24Updated 7 years ago
• IanBriggs / megalibm
  ☆16Updated last year
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆40Updated last week
• interplanetary-robot / SigmoidNumbers
  Sigmoid Numbers for Julia
  ☆86Updated 7 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆17Updated 2 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆48Updated 2 weeks ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆167Updated 2 years ago