Alternatives and similar repositories for atl

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

• riswords / quiche
  ☆24Updated 2 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 3 months ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆91Updated last week
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 7 months ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated 2 years ago
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆55Updated last week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆77Updated 7 years ago
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• dubrousky / mockmma
  ☆30Updated 7 years ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 4 months ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆72Updated 2 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated 3 weeks ago
• ChezJrk / verified-scheduling
  ☆44Updated 2 weeks ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆57Updated 3 weeks ago
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆62Updated this week
• andreypopp / BQN.jl
  BQN implementation in Julia
  ☆18Updated 3 years ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆145Updated last year
• GiggleLiu / NiLang.jl
  A differential eDSL that can run faster than light and go back to the past.
  ☆255Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆82Updated last week
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆66Updated last year
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated 2 months ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆65Updated 4 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆228Updated 9 months ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆27Updated 7 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago