Alternatives and similar repositories for polynomial

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

• japesinator / Idris-Bifunctors
  A small bifunctor library for idris
  ☆21Updated 4 years ago
• david-christiansen / IdrisSqlite
  Effectful bindings for SQLite (forked from IdrisWeb)
  ☆41Updated 7 years ago
• idris-hackers / idris-lens
  ☆23Updated 8 years ago
• ekmett / tagged
  phantom types
  ☆38Updated 7 months ago
• clayrat / idris-linear
  Experiments with linear types
  ☆14Updated 7 years ago
• haskell-works / hw-all
  ☆10Updated 2 years ago
• ekmett / concurrent
  Yet another concurrent playground
  ☆33Updated 9 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 11 months ago
• ekmett / intervals
  Interval Arithmetic
  ☆27Updated 7 months ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 8 months ago
• syallop / Join-Language
  Haskell Join-calculus DSL
  ☆23Updated 6 years ago
• dalaing / type-systems
  ☆23Updated 8 years ago
• data61 / foldl-statistics
  An reimplementation of the Statistics.Sample Haskell module using the foldl package
  ☆22Updated last year
• sdiehl / paris-fp
  Paris Functional Programming Meetup
  ☆27Updated 5 years ago
• pigworker / Totality
  being the programs and code for a paper about general recursion
  ☆26Updated 10 years ago
• jwiegley / simple-conduit
  ☆25Updated 8 years ago
• emmanueldenloye / manifoldRNC
  ☆10Updated 9 years ago
• HuwCampbell / idris-lens
  van Laarhoven lenses for Idris
  ☆20Updated 7 years ago
• hdgarrood / aeson-better-errors
  Better errors when decoding JSON values
  ☆31Updated 4 months ago
• idris-hackers / idris-algebra
  This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"
  ☆19Updated 6 years ago
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆40Updated 2 years ago
• philzook58 / lens-algebra
  Type level algebraic "proofs" using lens combinators
  ☆19Updated 6 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• tel / hotep
  "Fail Fast" process management for Haskell; inspired by Erlang
  ☆16Updated 8 years ago
• takenobu-hs / lazy_evaluation
  haskell lazy evaluation illustrated
  ☆72Updated 8 years ago
• fpco / mutable-containers
  Abstactions and concrete implementations of mutable containers
  ☆14Updated 9 years ago
• goldfirere / effects
  A Haskell translation of Idris's original algebraic effects library
  ☆41Updated 8 years ago
• LightAndLight / parametricity-proofs
  Proofs of the number of inhabitants of polymorphic functions
  ☆23Updated 7 years ago
• icicle-lang / p-ambiata
  The prelude.
  ☆16Updated 6 years ago
• effectfully / Eff
  Experiments with effect systems
  ☆12Updated 9 years ago