Alternatives and similar repositories for hakaru:

Users that are interested in hakaru are comparing it to the libraries listed below

• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆417Updated this week
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆420Updated 5 years ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆193Updated 9 years ago
• acowley / Frames
  Data frames for tabular data.
  ☆298Updated last year
• snowleopard / alga
  Algebraic graphs
  ☆734Updated 9 months ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 8 years ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆445Updated 11 months ago
• ekmett / ad
  Automatic Differentiation
  ☆373Updated 4 months ago
• haskell-numerics / hmatrix
  Linear algebra and numerical computation
  ☆388Updated 7 months ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆369Updated last year
• tweag / HaskellR
  The full power of R in Haskell.
  ☆588Updated 4 months ago
• tweag / sparkle
  Haskell on Apache Spark.
  ☆449Updated 2 years ago
• haskell / statistics
  A fast, high quality library for computing with statistics in Haskell.
  ☆302Updated this week
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆376Updated 2 years ago
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆764Updated 3 weeks ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆241Updated 10 years ago
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆171Updated 3 years ago
• haskell / fgl
  A Functional Graph Library for Haskell
  ☆188Updated 4 months ago
• clarus / coq-chick-blog
  🐣 A blog engine written and proven in Coq
  ☆178Updated 5 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆411Updated 8 years ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆137Updated 7 months ago
• Gabriella439 / pipes
  Compositional pipelines
  ☆490Updated 2 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 3 months ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 2 years ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆53Updated 4 years ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆332Updated 7 years ago
• transient-haskell / transient
  A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…
  ☆635Updated 3 years ago
• Andromedans / andromeda
  A proof assistant for general type theories
  ☆300Updated 4 months ago
• HoTT / HoTT-Agda
  Development of homotopy type theory in Agda
  ☆422Updated 6 years ago