Alternatives and similar repositories for plover:

Users that are interested in plover are comparing it to the libraries listed below

• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 7 months ago
• ghorn / dynobud
  your dynamic optimization buddy
  ☆27Updated 5 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated last month
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 8 years ago
• GaloisInc / estimator
  State-space estimation algorithms and models
  ☆27Updated 8 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• hargettp / courier
  A message-passing library, intended for simplifying network applications
  ☆43Updated 7 years ago
• jwiegley / z3cat
  Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations
  ☆38Updated 7 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆37Updated 7 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆37Updated 14 years ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• rampion / kinder-functor
  An alternate definition of Haskell's Functor typeclass
  ☆42Updated 5 years ago
• idris-hackers / idris-free
  Free Monads and useful constructions to work with them
  ☆26Updated 6 years ago
• leventov / yarr
  Yer another array library
  ☆41Updated 6 years ago
• nominolo / union-find
  Efficient union and equivalence testing of sets.
  ☆30Updated 6 years ago
• ekmett / speculation
  Safe, programmable, speculative evaluation for Haskell
  ☆29Updated 6 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• dorchard / effects-as-sessions
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆28Updated 5 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated last month
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• Gabriella439 / Haskell-Succinct-Vector-Library
  Succinct vectors
  ☆20Updated 6 years ago
• lukemaurer / sequent-core
  Alternative Core language for GHC plugins
  ☆39Updated 9 years ago
• athanclark / dag
  A well-typed Directed Acyclic Graph in Haskell
  ☆14Updated 10 years ago
• pigworker / shonky
  being some experiments, working towards some equipment I wish I had
  ☆37Updated 9 years ago