ocramz / ad-delcont

Related projects ⓘ

Alternatives and complementary repositories for ad-delcont

• konn / ad-delcont-primop
  ☆17Updated last year
• mchakravarty / hoas-conv
  Toy language to show the conversion of embedded higher-order abstract syntax (HOAS)
  ☆21Updated 11 years ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 4 years ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 7 months ago
• andriusstank / downhill
  ☆20Updated last year
• Deducteam / Agda2Dedukti
  ☆17Updated 2 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 2 months ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆22Updated last month
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆13Updated 2 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆51Updated 5 months ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 4 years ago
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆45Updated last year
• mstewartgallus / prologish
  ☆12Updated 4 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆28Updated 3 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆28Updated 4 years ago
• bobatkey / agda-metric-reals
  ☆28Updated 2 years ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆24Updated 4 years ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 3 years ago
• emilypi / order
  Order theory
  ☆23Updated last year
• shinji-kono / zf-in-agda
  define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set
  ☆14Updated 3 months ago
• pigworker / Syrup
  being a programming language for sequential circuits
  ☆20Updated this week
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆29Updated 5 years ago
• flupe / generics
  ☆21Updated 4 months ago