Alternatives and similar repositories for haskell-picosat

Users that are interested in haskell-picosat are comparing it to the libraries listed below

• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆37Updated 8 years ago
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆38Updated 3 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• AccelerateHS / accelerate-examples
  Examples for the Accelerate language
  ☆70Updated 5 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 4 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆142Updated 7 months ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆77Updated this week
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 8 months ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 6 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 5 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 5 years ago
• waivio / cl3
  Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
  ☆57Updated 3 years ago
• GaloisInc / estimator
  State-space estimation algorithms and models
  ☆27Updated 9 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• cartazio / numbers
  ☆31Updated 2 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 13 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆82Updated last year
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 2 months ago
• tmcdonell / cuda
  Haskell FFI bindings to CUDA
  ☆78Updated last week
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆149Updated 9 years ago
• ku-fpg / blank-canvas
  A Haskell API into HTML5 Canvas
  ☆72Updated 3 months ago
• nominolo / lambdachine
  VM and tracing JIT for Haskell (work in progress)
  ☆79Updated 10 years ago