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.
  ☆440Updated last week
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆419Updated 6 years ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆194Updated 10 years ago
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 3 years ago
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆374Updated 2 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆245Updated 6 years ago
• ekmett / ad
  Automatic Differentiation
  ☆385Updated 7 months ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆100Updated 11 months ago
• nwf / dyna
  Dyna2 compiler and REPL
  ☆147Updated 5 years ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆380Updated 3 years ago
• tweag / HaskellR
  The full power of R in Haskell.
  ☆585Updated 3 months ago
• jbarrow / LambdaNet
  Purely functional artificial neural network library implemented in Haskell.
  ☆382Updated 9 years ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆335Updated 8 years ago
• acowley / Frames
  Data frames for tabular data.
  ☆300Updated last year
• UniMath / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆245Updated 11 years ago
• gasche / icfp2016-papers
  Link to preprints for ICFP'16 and co-located events
  ☆140Updated 8 years ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆456Updated last year
• haskell / statistics
  A fast, high quality library for computing with statistics in Haskell.
  ☆307Updated last month
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆139Updated last year
• flannelhead / blackstar
  A black hole raytracer written in Haskell
  ☆178Updated 3 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆205Updated 7 years ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆192Updated 4 months ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 7 months ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆179Updated last year
• nh2 / call-haskell-from-anything
  Call Haskell functions from any programming language via serialization and dynamic libraries
  ☆396Updated 3 years ago
• haskell-numerics / hmatrix
  Linear algebra and numerical computation
  ☆394Updated last year
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆785Updated last week
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆228Updated 2 years ago
• tweag / sparkle
  Haskell on Apache Spark.
  ☆448Updated 2 months ago
• sampsyo / ppl-intro
  probabilistic programming for PL folks
  ☆158Updated 4 years ago