conal / paper-2020-higher-order-ad

Related projects ⓘ

Alternatives and complementary repositories for paper-2020-higher-order-ad

• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆36Updated 6 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆29Updated 5 years ago
• jpaykin / LNLHaskell
  Adding linear types to Haskell in the style of Linear/Non-Linear (LNL) logic
  ☆35Updated 6 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated 3 months ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 4 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆69Updated 2 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• JohnWCartmell / Theory
  Papers on aspects of Generalised Algebraic Theories, Contextual Categories and Mathematical Theory Of Data
  ☆37Updated 3 weeks ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆51Updated 5 months ago
• CodaFi / Agda-Metaprogramming
  Dependently Typed Metaprogramming Exercises
  ☆22Updated 6 years ago
• jmchapman / TT-in-TT
  Type theory in type theory
  ☆16Updated 12 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 5 years ago
• jyp / prettiest
  The Prettiest Printer
  ☆35Updated 8 months ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆38Updated 2 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆62Updated 10 years ago
• webyrd / linear-logic-multiset-rewriting
  Logic for story telling!
  ☆32Updated 6 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• cedille / cedille-developments
  A showcase of interesting code and proof developments in Cedille
  ☆36Updated last year
• scravy / bed-and-breakfast
  Matrix operations in 100% pure Haskell
  ☆33Updated 11 months ago
• uwplse / CoqAST
  Fun plugin to play with the Gallina AST.
  ☆38Updated 5 years ago
• isovector / cccc
  🖼️ the compiling to closed categories compiler
  ☆66Updated 6 years ago
• davdar / maam
  A monadic approach to static analysis following the methodology of AAM
  ☆19Updated 9 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• wilbowma / cic-redex
  A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
  ☆32Updated 7 years ago
• wilbowma / dissertation
  The source for "Compiling with Dependent Types" (my dissertation)
  ☆30Updated 2 years ago