Alternatives and similar repositories for exact-real:

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

• ekmett / codebruijn
  experiments with pext/pdep and codebruijn syntax
  ☆17Updated 5 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆32Updated 2 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated last month
• haskellari / some
  Existential type.
  ☆36Updated last month
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 7 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆30Updated 5 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆41Updated last week
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• nfrisby / coxswain
  A GHC type checker plugin for row types
  ☆39Updated 7 years ago
• expipiplus1 / orbits
  A package dealing with Kepler orbits.
  ☆11Updated 2 years ago
• kcsongor / register-machine-type
  Universal Register Machine implemented at the type-level of Haskell
  ☆23Updated 8 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 7 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 2 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• andriusstank / downhill
  ☆20Updated last year
• thoughtpolice / claap
  "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)
  ☆13Updated 7 years ago
• frex-project / haskell-frex
  ☆23Updated last year
• yav / dump-core
  ☆45Updated 3 years ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 2 months ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• nh2 / hackage-download
  Script to download all of Hackage
  ☆14Updated 5 years ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆36Updated 2 weeks ago
• bolt12 / tymfgg-pearl
  Type Your Matrices For Great Good
  ☆30Updated 4 years ago
• anuyts / menkar
  The multimode presheaf proof-assistant
  ☆36Updated last year
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 4 years ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated 8 months ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago