Alternatives and similar repositories for haskell-picosat

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

• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 10 years ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆37Updated 7 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• nicolabotta / SeqDecProbs
  ☆14Updated 8 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 7 years ago
• ku-fpg / hermit
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆49Updated 2 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 7 months ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 13 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 6 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• glutamate / probably-baysig
  Model of baysig language in Haskell (minus estimate)
  ☆15Updated 9 years ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• QuentinDuval / IdrisPipes
  A library for composable and effectful production, transformation and consumption of streams of data in Idris
  ☆37Updated 7 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 6 years ago
• reynir / Verified
  A collection of proofs for some idris class instances - NOT MAINTAINED
  ☆18Updated 10 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• ekmett / rounded
  MPFR bindings for Haskell
  ☆34Updated last year
• UnkindPartition / prover
  Simple lambda prover
  ☆24Updated 9 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆49Updated 2 weeks ago
• GaloisInc / lean-haskell-bindings
  Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/
  ☆21Updated 7 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• ollef / Generate-C
  Embedded C code generation DSL for Haskell.
  ☆28Updated 6 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 2 months ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• patperry / hs-monte-carlo
  A Monte Carlo monad and transformer for Haskell.
  ☆40Updated 6 years ago
• Saizan / miller
  Miller/pattern unification in Agda
  ☆65Updated 11 years ago