gilbo / atl

Related projects ⓘ

Alternatives and complementary repositories for atl

• egraphs-good / snake-egg
  Python bindings for egg
  ☆47Updated last year
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆65Updated this week
• riswords / quiche
  ☆22Updated last year
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 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
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆40Updated last month
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated 3 weeks ago
• heavyai / rbc
  Remote Backend Compiler
  ☆30Updated 2 months ago
• HPAC / linnea
  Linnea is an experimental tool for the automatic generation of optimized code for linear algebra problems.
  ☆66Updated 2 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 3 months ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated last year
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• metalibm / metalibm
  Code generation tool to generate mathematical libraries
  ☆55Updated 8 months ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆48Updated 8 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆79Updated this week
• jakobmoosbauer / flips
  ☆9Updated 11 months ago
• gussmith23 / glenside
  A pure, low-level tensor program representation enabling tensor program optimization via program rewriting. See the web demo at https://g…
  ☆71Updated 5 months ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆64Updated this week
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆45Updated last year
• miking-lang / miking
  Miking - the meta viking: a meta-language system for creating embedded languages
  ☆51Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆66Updated this week
• rise-lang / shine
  The Shine compiler for the RISE language
  ☆73Updated 2 weeks ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 months ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆79Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆39Updated 3 weeks ago
• adamnemecek / adjoint
  Thoughts on adjoint, norm and such.
  ☆165Updated last year
• dubrousky / mockmma
  ☆27Updated 6 years ago
• IanBriggs / megalibm
  ☆14Updated last year