Alternatives and similar repositories for exact-real

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

• andriusstank / downhill
  ☆20Updated 2 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 3 months ago
• frex-project / haskell-frex
  ☆23Updated last year
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• bts / deferred-substitution
  An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
  ☆15Updated 6 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 2 months ago
• omelkonian / rewrite-inspector
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Updated 5 years ago
• haskellari / some
  Existential type.
  ☆37Updated 6 months ago
• nh2 / hackage-download
  Script to download all of Hackage
  ☆15Updated 6 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆24Updated 13 years ago
• masaeedu / monadoptics
  Profunctor optics for the endofunctor category on Hask
  ☆27Updated 4 years ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 3 years ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated 2 months ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated last week
• koengit / satplus
  ☆13Updated 2 years ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆25Updated 4 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated 2 weeks ago
• statusfailed / pp
  probabilistic programming in Haskell
  ☆17Updated 8 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• achirkin / constraints-deriving
  Programmatically create new instances using core-to-core plugins
  ☆11Updated 4 years ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated last year
• expipiplus1 / orbits
  A package dealing with Kepler orbits.
  ☆11Updated 2 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• jonascarpay / convoluted
  Dependently typed convolutional neural networks
  ☆35Updated 8 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆13Updated 5 years ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago