{"id":19938841,"url":"https://github.com/comius/haskell-fast-reals","last_synced_at":"2025-05-03T14:32:30.146Z","repository":{"id":35518855,"uuid":"39789269","full_name":"comius/haskell-fast-reals","owner":"comius","description":"A fast implementation of real numbers in Haskell","archived":false,"fork":false,"pushed_at":"2019-03-25T16:34:03.000Z","size":113,"stargazers_count":10,"open_issues_count":4,"forks_count":2,"subscribers_count":5,"default_branch":"master","last_synced_at":"2025-04-07T17:03:53.995Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-2-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/comius.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2015-07-27T17:52:50.000Z","updated_at":"2024-08-02T03:55:15.000Z","dependencies_parsed_at":"2022-09-08T17:41:26.426Z","dependency_job_id":null,"html_url":"https://github.com/comius/haskell-fast-reals","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/comius%2Fhaskell-fast-reals","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/comius%2Fhaskell-fast-reals/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/comius%2Fhaskell-fast-reals/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/comius%2Fhaskell-fast-reals/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/comius","download_url":"https://codeload.github.com/comius/haskell-fast-reals/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":252203380,"owners_count":21710953,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-12T23:42:06.874Z","updated_at":"2025-05-03T14:32:29.791Z","avatar_url":"https://github.com/comius.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"A library for computing with exact real numbers in Haskell.\n\n## Prerequisites\n\n* A generally working development environment (`make`, `gcc`)\n* Probably the [GMP](https://gmplib.org) header files.\n* Haskell version 7.8.4, including Cabal\n* The [haskell-mpfr](https://github.com/comius/haskell-mpfr) library by [Ivo List](https://github.com/comius).\n\nThe MPFR Haskell bindings in the haskell-mpfr library rely on low-level implementation details\nof Haskell. It is likely they will break with newer versions of Haskell.\n\n## Installation \u0026 Usage\n\n1. Install the haskell-mpfr library, following the instructions there. Essentially, it is just a `cabal install` inside the haskell-mpfr source directory.\n\n2. To install the library, run\n\n        cabal install\n\n   To get a version of the library which allows profiling, use instead\n\n        cabal install --ghc-option=-fprof-auto -p --enable-executable-profiling\n\n3. Alternatively to the previous step, you can run\n\n        cabal repl\n\n   to get an interactive shell with the library preloaded. This way you can try out the\n   library without installing it.\n\n4. To create HTML documentation run\n\n        cabal haddock\n\n   The generated HTML files will be placed in `dist/doc/html/`.\n\n## Example\n\nHere is an example session.\n\n    Preprocessing library haskell-fast-reals-0.1.0.0...\n    GHCi, version 7.8.4: http://www.haskell.org/ghc/  :? for help\n    \u003c... stuff gets loaded ...\u003e\n    *Data.Reals.Reals\u003e let a = 1.3 :: RealNum\n    *Data.Reals.Reals\u003e a*(1-a)\n    [-3.900000000007822e-1,-3.899999999994179e-1]\n    *Data.Reals.Reals\u003e a / a\n    [9.999999999972715e-1,1.000000000001819]\n    *Data.Reals.Reals\u003e let b = 2.7 :: RealNum\n    *Data.Reals.Reals\u003e a * a - b * b - (a + b) * (a - b)\n    [-3.128661774106285e-12,4.147295840103611e-12]\n    *Data.Reals.Reals\u003e a * a\n    [1.689999999996871,1.690000000004147]\n    *Data.Reals.Reals\u003e approx (a * a) (precUp 100)\n    [1.69,1.69]\n    λ\u003e let int =  (ClosedInterval (appFromInteger 0,appFromInteger 1))\n    λ\u003e forall int $ \\x -\u003e (x * (1 - x)) `less` (0.24 :: RealNum )\n    False\n    λ\u003e forall int $ \\x -\u003e (x * (1 - x)) `less` (0.26 :: RealNum )\n    True\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcomius%2Fhaskell-fast-reals","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcomius%2Fhaskell-fast-reals","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcomius%2Fhaskell-fast-reals/lists"}