Alternatives and similar repositories for haskell-picosat

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

• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 years ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 14 years ago
• quickdudley / hfnn
  ☆25Updated 5 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆48Updated 4 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆149Updated 9 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 9 months ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 6 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆32Updated 5 years ago
• GaloisInc / estimator
  State-space estimation algorithms and models
  ☆28Updated 9 years ago
• o1lo01ol1o / diffhask
  DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.
  ☆28Updated 6 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• mstksg / hamilton
  Simulate physics on generalized coordinate systems using Hamiltonian Mechanics and automatic differentiation. Don't throw away your shot…
  ☆154Updated last year
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆38Updated 3 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• tmcdonell / cuda
  Haskell FFI bindings to CUDA
  ☆80Updated 4 months ago
• dsorokin / aivika
  A multi-method simulation library
  ☆81Updated last year
• AccelerateHS / accelerate-examples
  Examples for the Accelerate language
  ☆70Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆51Updated 3 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 5 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆37Updated 5 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated this week
• lspitzner / exference
  Haskell tool to generate expressions from types
  ☆101Updated 8 years ago
• JPMoresmau / HGraphStorage
  Graph database in Haskell
  ☆24Updated 9 years ago
• dmoverton / finite-domain
  Finite domain constraint solver in Haskell
  ☆20Updated 4 years ago
• schiegl / QuickPlot
  Quick and easy data visualizations with Haskell
  ☆84Updated 7 years ago
• achirkin / easytensor
  Many-dimensional type-safe numeric ops
  ☆46Updated 4 years ago