Alternatives and similar repositories for atl:

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

• egraphs-good / snake-egg
  Python bindings for egg
  ☆48Updated 2 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
  ☆73Updated this week
• dubrousky / mockmma
  ☆30Updated 7 years ago
• metamath / metamath-book
  Source of metamath book
  ☆48Updated last year
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆68Updated 3 years ago
• riswords / quiche
  ☆21Updated 2 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆32Updated 2 months ago
• opencompl / lean-mlir-old
  embedding MLIR in LEAN
  ☆47Updated 10 months ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• SimonDanisch / julia-challenge
  Many language implementations for the Julia Challenge: https://nextjournal.com/sdanisch/the-julia-language-challenge
  ☆76Updated 5 years ago
• math-comp / odd-order
  The formal proof of the Odd Order Theorem
  ☆30Updated last week
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 3 weeks ago
• ChezJrk / verified-scheduling
  ☆38Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆75Updated 7 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆46Updated last year
• IanBriggs / megalibm
  ☆16Updated last year
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆79Updated 3 weeks ago
• leanprover-community / lean4-samples
  Code samples for Lean 4
  ☆73Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 5 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• imdea-software / htt
  Hoare Type Theory
  ☆74Updated last week
• agentultra / lean-for-hackers
  ☆19Updated 2 years ago
• teorth / erdos-guy-selfridge
  Project to verify the Guy-Selfridge conjectures
  ☆11Updated this week
• herbie-fp / rival
  Interval arithmetic for real computation
  ☆22Updated this week
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆54Updated last week
• kovach / etch
  ☆17Updated 10 months ago