adamnemecek / adjoint
Thoughts on adjoint, norm and such.
☆169Updated 2 years ago
Alternatives and similar repositories for adjoint:
Users that are interested in adjoint are comparing it to the libraries listed below
- A graphical interactive proof assistant designed for education☆166Updated 4 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆166Updated 3 years ago
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- The Principia Rewrite☆214Updated last month
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- My personal repository of formally verified mathematics.☆295Updated last week
- a categorical deep learning compiler☆199Updated 3 weeks ago
- Apple array system☆66Updated this week
- Polynomial-time Meta-Interpretive Learning☆120Updated last month
- An interactive theorem prover for string diagrams☆112Updated 4 months ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- Fungrim: the Mathematical Functions Grimoire☆121Updated 3 years ago
- A curated list of awesome Category Theory resources.☆114Updated last year
- A simple raytracer written in Lean 4☆134Updated 10 months ago
- A typed, polyglot, functional language☆196Updated last week
- a tiny tile-based editor☆303Updated this week
- Catalog of visual lambda calculi☆109Updated last year
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆99Updated this week
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Ranked Programming Extension for Racket☆54Updated 4 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆145Updated 2 months ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- Accelerated machine learning with dependent types☆88Updated this week
- Haskell implementation of open games☆157Updated last month
- ☆52Updated 4 years ago
- ☆162Updated 5 years ago
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆57Updated 5 months ago
- 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: Interaction nets as a programming language (the current version)☆294Updated 4 months ago
- Brzozowski derivative python sketch☆85Updated 11 months ago