Alternatives and similar repositories for exact-real

Users that are interested in exact-real are comparing it to the libraries listed below

• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 8 years ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 2 months ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated last month
• haskellari / some
  Existential type.
  ☆37Updated 5 months ago
• ekmett / codebruijn
  experiments with pext/pdep and codebruijn syntax
  ☆17Updated 5 years ago
• jyp / prettiest
  The Prettiest Printer
  ☆35Updated last year
• expipiplus1 / orbits
  A package dealing with Kepler orbits.
  ☆11Updated 2 years ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• amosr / folderol
  machine fusion
  ☆16Updated 6 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 8 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆31Updated 4 years ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated 11 months ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• nh2 / hackage-download
  Script to download all of Hackage
  ☆15Updated 5 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 4 months ago
• phadej / acme-kmett
  A collection of Edward Kmett's packages in a single repository
  ☆16Updated 4 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 5 years ago
• emilaxelsson / ho-rewriting
  A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders
  ☆12Updated 6 years ago
• gallais / typing-with-leftovers
  Self-contained repository for the eponymous paper
  ☆30Updated 6 years ago
• andriusstank / downhill
  ☆20Updated 2 years ago
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated 5 months ago
• Quid2 / zm
  Language independent, reproducible, absolute types.
  ☆22Updated 3 weeks ago
• int-index / union
  Extensible type-safe unions for Haskell
  ☆34Updated 2 months ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• sjoerdvisscher / fmlist
  FoldMap lists
  ☆12Updated 2 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 2 months ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago