Mikolaj / horde-ad

Related projects: ⓘ

• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 5 months ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 4 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated 3 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆22Updated 5 months ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆43Updated last year
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆15Updated last month
• fizruk / simple-topes
  Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
  ☆15Updated last year
• emilypi / order
  Order theory
  ☆23Updated last year
• anthonyywangmath / tikzsd
  A program for generating LaTeX TikZ code for string diagrams.
  ☆17Updated 3 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆48Updated 3 months ago
• bobatkey / agda-metric-reals
  ☆28Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆44Updated 2 years ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆37Updated 11 months ago
• oisdk / agda-ring-solver
  A fast, easy-to-use ring solver for agda with step-by-step solutions
  ☆38Updated 2 years ago
• patrickt / empathy
  a modern library for typed path manipulation in Haskell
  ☆36Updated 3 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆24Updated 8 months ago
• b-mehta / combinatorics
  ☆20Updated 2 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last year
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 3 years ago
• conal / agda-machines
  ☆14Updated this week
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• annenkov / two-level
  Two-Level Type Theory
  ☆27Updated 4 years ago
• mstksg / opto
  Numerical optimization with support for stochastic optimization, mostly for my own experimental usage
  ☆14Updated 4 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• konn / ad-delcont-primop
  ☆17Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago