Alternatives and similar repositories for adjoint:

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

• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 4 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆166Updated 3 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆214Updated last month
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated last week
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆199Updated 3 weeks ago
• vmchale / apple
  Apple array system
  ☆66Updated this week
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆120Updated last month
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 4 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆121Updated 3 years ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆114Updated last year
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆134Updated 10 months ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated last week
• hazelgrove / tylr
  a tiny tile-based editor
  ☆303Updated this week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆99Updated this week
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• tjitze / ranked-programming
  Ranked Programming Extension for Racket
  ☆54Updated 4 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆145Updated 2 months ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆200Updated 4 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆88Updated this week
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆157Updated last month
• HnimNart / deeplearning
  ☆52Updated 4 years ago
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 5 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆69Updated 2 weeks ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆294Updated 4 months ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 11 months ago