Alternatives and similar repositories for measurable:

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

• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆24Updated 6 months ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 6 months ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 4 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• sigma-andex / idris-refined
  Port of Scala/Haskell Refined library to Idris
  ☆17Updated 4 years ago
• dalaing / cofun
  Cofun with Cofree Comonads
  ☆32Updated 8 years ago
• japesinator / Idris-Profunctors
  A small profunctor library for idris
  ☆17Updated 2 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• glutamate / probably-baysig
  Model of baysig language in Haskell (minus estimate)
  ☆15Updated 8 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• Lysxia / profunctor-monad
  Bidirectional programming in Haskell with monadic profunctors
  ☆46Updated 2 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 4 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• mikeshulman / cohesivett
  Cohesive type theory
  ☆19Updated 3 years ago
• JPMoresmau / HGraphStorage
  Graph database in Haskell
  ☆24Updated 8 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 6 years ago
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆64Updated last year
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 8 months ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• cchalmers / plots
  Haskell plotting library
  ☆44Updated 8 months ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated last year
• tonyday567 / numhask
  A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.
  ☆69Updated 6 months ago
• tuura / pangraph
  A Haskell library for mathematical graph parsing and writing.
  ☆20Updated 4 years ago