{"id":19864152,"url":"https://github.com/sr-lab/roundalize","last_synced_at":"2026-05-09T22:16:54.445Z","repository":{"id":75386388,"uuid":"116301691","full_name":"sr-lab/roundalize","owner":"sr-lab","description":"Rounds and renders huge rational numbers to human-readable decimals.","archived":false,"fork":false,"pushed_at":"2018-07-08T13:10:20.000Z","size":12,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-01-11T15:34:17.736Z","etag":null,"topics":["coq","rational-numbers","rounding","truncation"],"latest_commit_sha":null,"homepage":null,"language":"C#","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/sr-lab.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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2018-01-04T19:55:28.000Z","updated_at":"2018-07-08T13:11:49.000Z","dependencies_parsed_at":null,"dependency_job_id":"698dc1e4-eb9b-4805-9877-7c6804be2c1e","html_url":"https://github.com/sr-lab/roundalize","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/sr-lab%2Froundalize","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sr-lab%2Froundalize/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sr-lab%2Froundalize/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sr-lab%2Froundalize/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/sr-lab","download_url":"https://codeload.github.com/sr-lab/roundalize/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":241273169,"owners_count":19937096,"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":["coq","rational-numbers","rounding","truncation"],"created_at":"2024-11-12T15:17:38.537Z","updated_at":"2026-05-09T22:16:49.376Z","avatar_url":"https://github.com/sr-lab.png","language":"C#","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Roundalize\nRounds and renders huge rational numbers to human-readable decimals.\n\n## Overview\nCoq will tend to give big rational numbers (Q) as numerator and denominator. These can be hundreds of digits long and aren't suitable for inclusion in papers or for most data analysis. Roundalize will turn those from a file that looks like this:\n\n```\nhello:61211:11345\nworld:33476:47196\n```\n\nWhich are of the format `label:numerator:denominator` into this:\n\n```\nhello=5.3954\nworld=0.70929\n```\n\nThis will work for arbitrarily large numbers.\n\n## Usage\nTo use the utility, specify the input file path and precision (after the decimal point) as an integer. Results will be printed to stanard output, but are easy enough to redirect to a file using `\u003e` as in the example below. If no precision is specified it will default to `6`.\n\n```\nRoundalize \u003cfile\u003e [precision] \u003e rounded.txt\n```\n\n## Acknowledgements\nFabulous public domain [Gist](https://gist.github.com/JcBernack/0b4eef59ca97ee931a2f45542b9ff06d) with the `BigDecimal` class by [Jan Christoph Bernack](https://github.com/JcBernack).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsr-lab%2Froundalize","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsr-lab%2Froundalize","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsr-lab%2Froundalize/lists"}