Alternatives and similar repositories for adjoint:

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

• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆165Updated 3 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• statusfailed / catgrad
  a categorical deep learning compiler
  ☆198Updated last week
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆166Updated 3 months ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆200Updated 4 years ago
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆157Updated last month
• formalabstracts / formalabstracts
  ☆162Updated 5 years ago
• kmill / lean4-raytracer
  A simple raytracer written in Lean 4
  ☆134Updated 9 months ago
• akissinger / chyp
  An interactive theorem prover for string diagrams
  ☆112Updated 4 months ago
• ToposInstitute / poly
  ☆113Updated 7 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 11 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆121Updated 3 years ago
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆295Updated this week
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆429Updated this week
• bollu / blaze
  Haskell re-implementation of STOKE, the stochastic superoptimizer
  ☆63Updated 5 years ago
• madnight / awesome-category-theory
  A curated list of awesome Category Theory resources.
  ☆112Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆87Updated this week
• digama0 / mm0
  Metamath Zero specification language
  ☆338Updated 3 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆119Updated last month
• VictorTaelin / interaction-calculus-of-constructions
  A minimal proof checker.
  ☆74Updated 6 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 last week
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated this week
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 11 months ago
• Lapin0t / grothendieck-cern
  Alexander Grothendieck's 1972 talk at CERN, on scientific research
  ☆57Updated 5 months ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆70Updated 11 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆214Updated last month
• engboris / stellogen
  An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax
  ☆97Updated this week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆89Updated 6 years ago