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
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated 2 years ago
• tmcdonell / cuda
  Haskell FFI bindings to CUDA
  ☆79Updated last week
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• conal / lambda-ccc
  Convert lambda expressions to CCC combinators
  ☆150Updated 9 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆37Updated 8 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 6 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 8 years ago
• AccelerateHS / accelerate-examples
  Examples for the Accelerate language
  ☆70Updated 5 years ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 13 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago
• Feldspar / raw-feldspar
  Resource-AWare Feldspar
  ☆38Updated 3 years ago
• alphaHeavy / protobuf
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Updated 3 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 5 months ago
• bmsherman / topology
  Formal topology (and some probability) in Coq
  ☆32Updated 6 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 5 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆41Updated 7 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆142Updated 8 months ago
• ekmett / fractions
  lazy continued fractions
  ☆19Updated 10 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• sbp / idris-bi
  Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq
  ☆36Updated 4 years ago
• jamievicary / globular
  Globular
  ☆39Updated 7 years ago
• sweirich / trellys
  Automatically exported from code.google.com/p/trellys
  ☆47Updated 6 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated 3 weeks ago