Alternatives and similar repositories for haskell-picosat:

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

• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 5 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 13 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆38Updated 7 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆39Updated 5 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆47Updated 5 months ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• Feldspar / feldspar-compiler
  This is the compiler for the Feldspar Language.
  ☆22Updated 4 years ago
• AccelerateHS / accelerate-cuda
  DEPRECATED: Accelerate backend for NVIDIA GPUs
  ☆57Updated 7 years ago
• waivio / cl3
  Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)
  ☆57Updated 2 years ago
• svenssonjoel / Obsidian
  Obsidian Language Repository
  ☆40Updated 6 years ago
• co-dan / interactive-diagrams
  Interactive-diagrams
  ☆39Updated 9 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated last month
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• mietek / haskell-exchange-2015
  TODO
  ☆10Updated 9 years ago
• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 9 months ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 9 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• leptonyu / tensors
  Tensors in Haskell
  ☆40Updated this week