Alternatives and similar repositories for atl

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

• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 3 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆96Updated last week
• riswords / quiche
  ☆24Updated 2 years ago
• egraphs-good / snake-egg
  Python bindings for egg
  ☆50Updated 3 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 2 weeks ago
• metamath / metamath-book
  Source of metamath book
  ☆53Updated 2 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆76Updated 7 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆49Updated 2 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆48Updated last year
• sanjoy / pyano
  A formalization of first-order logic and Peano's axioms in Python
  ☆21Updated 7 months ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆72Updated 5 months ago
• Gecode / MPG
  Modeling and Programming with Gecode
  ☆50Updated 3 years ago
• facebookresearch / loop_tool
  A thin, highly portable toolkit for efficiently compiling dense loop-based computation.
  ☆149Updated 3 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• libsemigroups / libsemigroups
  C++ library for semigroups and monoids
  ☆64Updated 2 weeks ago
• dubrousky / mockmma
  ☆30Updated 8 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆81Updated this week
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆69Updated 2 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 10 months ago
• ChezJrk / verified-scheduling
  ☆44Updated 3 months ago
• AnyDSL / MimIR
  MimIR is my Intermediate Representation
  ☆89Updated this week
• SacBase / Stdlib
  This repository contains the core and extended source files of the standard library of the SaC programming language.
  ☆16Updated last week
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆83Updated last month
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• bloomberg / crane
  A new extraction system from Rocq to functional-style, memory-safe, thread-safe, readable, valid, performant, and modern C++.
  ☆89Updated last week
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated last week
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year