Alternatives and similar repositories for atl

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

• riswords / quiche
  ☆23Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆89Updated this 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
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 5 months ago
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 2 months ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 6 months ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆71Updated 2 weeks ago
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆148Updated 2 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated 2 weeks ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last month
• scallop-lang / scallop-old
  [Archived] A scalable differentiable probabilistic Datalog engine, with Rust
  ☆73Updated 3 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆64Updated last year
• kovach / etch
  ☆17Updated last year
• dubrousky / mockmma
  ☆30Updated 7 years ago
• metamath / metamath-book
  Source of metamath book
  ☆50Updated last year
• AlgebraicJulia / AlgebraicRewriting.jl
  Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
  ☆31Updated last month
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated last week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆49Updated 3 weeks ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆75Updated this week
• AlgebraicJulia / AlgebraicPetri.jl
  Build Petri net models compositionally
  ☆88Updated 2 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year