adamnemecek / adjoint
Thoughts on adjoint, norm and such.
☆165Updated last year
Related projects ⓘ
Alternatives and complementary repositories for adjoint
- The cuteness implementation of a dependently typed language.☆188Updated last year
- A graphical interactive proof assistant designed for education☆161Updated 2 months ago
- The Principia Rewrite☆207Updated 6 months ago
- Animations of lambda term reduction sequences☆89Updated 6 years ago
- A typed, polyglot, functional language☆195Updated last week
- ☆159Updated 5 years ago
- My personal repository of formally verified mathematics.☆291Updated 3 weeks ago
- Brzozowski derivative python sketch☆83Updated 7 months ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 2 years ago
- The simple essence of automatic differentiation☆197Updated 3 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆125Updated 7 months ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- ☆53Updated 3 years ago
- A categorical programming language with effects☆267Updated last year
- Catalog of visual lambda calculi☆100Updated last year
- Tool for euclidean geometry aware of logic☆81Updated 5 months ago
- Fungrim: the Mathematical Functions Grimoire☆119Updated 2 years ago
- Haskell re-implementation of STOKE, the stochastic superoptimizer☆63Updated 5 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆110Updated 5 years ago
- The MaPLe compiler for efficient and scalable parallel functional programming☆347Updated 2 weeks ago
- Accelerated machine learning with dependent types☆79Updated this week
- Bologna Optimal Higher-Order Machine, Version 1.1☆67Updated 7 years ago
- a datalog interpreter in typescript☆208Updated last month
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 3 years ago
- A sudoku game where you have to prove that your deductions are valid☆113Updated 2 years ago
- An introductory course to Homotopy Type Theory☆360Updated 4 years ago
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- Metamath Zero specification language☆317Updated this week
- Alexander Grothendieck's 1972 talk at CERN, on scientific research☆55Updated last month
- A fast functional language based on two level type theory☆388Updated last year