Alternatives and similar repositories for atl:

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

• riswords / quiche
  ☆21Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 years ago
• IanBriggs / megalibm
  ☆16Updated last year
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• SimonDanisch / julia-challenge
  Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge
  ☆76Updated 5 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated this week
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆79Updated this week
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆24Updated 5 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated last week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 8 months ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆68Updated this week
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated last year
• metagraph-dev / mlir-graphblas
  MLIR tools and dialect for GraphBLAS
  ☆18Updated 2 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 7 years ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆68Updated 3 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆41Updated this week
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆17Updated 2 months ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated last week
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year
• rise-lang / rise
  Implementation of the RISE language
  ☆14Updated 4 years ago
• owlbarn / owl_symbolic
  Connect Owl with other accelerators and numerical frameworks with symbolic maths
  ☆19Updated 2 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆87Updated this week
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• dubrousky / mockmma
  ☆30Updated 7 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated last week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated last week
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago