Alternatives and similar repositories for ad-delcont

Users that are interested in ad-delcont are comparing it to the libraries listed below

• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library. See http://arxiv.org/abs/2507.12640.
  ☆39Updated last week
• folivetti / srtree
  Haskell library for representing and manipulating Symbolic Regression Tree
  ☆11Updated this week
• phadej / staged
  Staged Streams and other stuff
  ☆19Updated 3 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 11 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated last year
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆18Updated 5 years ago
• konn / ad-delcont-primop
  ☆21Updated 2 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 8 months ago
• andrejbauer / mathematical-stories
  Mathematical stories
  ☆13Updated 4 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 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.
  ☆21Updated last year
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 7 years ago
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 3 years ago
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆25Updated 5 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• BinderDavid / haskell-spec
  Formal specification of the Haskell Language Report
  ☆24Updated last week
• andriusstank / downhill
  ☆20Updated 2 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆30Updated 6 years ago
• haskellari / some
  Existential type.
  ☆37Updated 8 months ago
• vmchale / hs-ats
  Home of the fast-arithmetic library for number theory in ATS and Haskell.
  ☆25Updated last year
• bolt12 / laop
  Linear Algebra of Programming - Algebraic Matrices in Haskell
  ☆84Updated 3 months ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 9 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 4 years ago
• ttuegel / statistical-elements
  The Elements of Statistical Learning in Haskell
  ☆13Updated 7 years ago
• MatthewDaggitt / agda-routing
  An Agda library for reasoning about asynchronous iterative algorithms and network routing problems
  ☆28Updated last year
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆21Updated last week
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 7 years ago
• faulhornlabs / csip
  ☆23Updated last month