Alternatives and similar repositories for atl

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

• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 3 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 3 months ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆49Updated 2 years ago
• riswords / quiche
  ☆22Updated 2 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆81Updated this week
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated last year
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• dubrousky / mockmma
  ☆30Updated 7 years ago
• Z80coder / db-nets
  ∂B nets: learning discrete, boolean-valued functions by gradient descent
  ☆21Updated last year
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆48Updated last month
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆20Updated 3 weeks ago
• IanBriggs / megalibm
  ☆17Updated 2 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆80Updated last year
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated 10 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated last year
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated last month
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆26Updated 9 months ago
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆23Updated this week
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆56Updated 4 months ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆51Updated 2 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆101Updated 2 months ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 7 months ago
• SparseLinearAlgebra / cuBool
  Sparse linear Boolean algebra for Nvidia Cuda
  ☆24Updated 3 weeks ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• pzinn / Macaulay2Web
  Macaulay2 web app with support for KaTeX and HTML output
  ☆18Updated last week