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.
  ☆424Updated last week
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆420Updated 5 years ago
• acowley / Frames
  Data frames for tabular data.
  ☆300Updated last year
• ollef / Earley
  Parsing all context-free grammars using Earley's algorithm in Haskell.
  ☆370Updated last year
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆377Updated 2 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆243Updated 5 years ago
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆193Updated 9 years ago
• tweag / sparkle
  Haskell on Apache Spark.
  ☆449Updated 2 years ago
• snowleopard / alga
  Algebraic graphs
  ☆736Updated 10 months ago
• nh2 / call-haskell-from-anything
  Call Haskell functions from any programming language via serialization and dynamic libraries
  ☆396Updated 2 years ago
• ekmett / ad
  Automatic Differentiation
  ☆376Updated 2 weeks ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆137Updated 8 months ago
• compiling-to-categories / concat
  Compiling to Categories
  ☆447Updated last year
• transient-haskell / transient
  A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…
  ☆633Updated 4 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆410Updated 8 years ago
• tweag / HaskellR
  The full power of R in Haskell.
  ☆588Updated 5 months ago
• idris-hackers / idris-koans
  Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…
  ☆177Updated 6 years ago
• commercialhaskell / commercialhaskell
  A special interest group for companies and individuals interested in commercial usage of Haskell
  ☆455Updated 2 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆146Updated 9 years ago
• chris-taylor / aima-haskell
  Algorithms from AIMA in Haskell
  ☆332Updated 7 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 4 months ago
• liamoc / learn-you-an-agda
  Learn you an Agda (and achieve enlightenment)
  ☆315Updated 7 years ago
• haskell-numerics / hmatrix
  Linear algebra and numerical computation
  ☆389Updated 8 months ago
• takenobu-hs / haskell-ghc-illustrated
  haskell ghc-illustrated
  ☆259Updated 4 years ago
• Gabriella439 / pipes
  Compositional pipelines
  ☆492Updated 2 years ago
• RedPRL / sml-redprl
  The People's Refinement Logic
  ☆229Updated 2 years ago
• haskell-tools / haskell-tools
  Developer tools for Haskell
  ☆250Updated 8 months ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• goldfirere / thesis
  Richard A. Eisenberg's PhD Dissertation
  ☆206Updated 6 years ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆253Updated 14 years ago