{"id":16847824,"url":"https://github.com/stepancheg/idris-sort","last_synced_at":"2026-01-05T03:02:25.533Z","repository":{"id":66119922,"uuid":"141735467","full_name":"stepancheg/idris-sort","owner":"stepancheg","description":null,"archived":false,"fork":false,"pushed_at":"2019-03-17T21:09:21.000Z","size":74,"stargazers_count":3,"open_issues_count":0,"forks_count":0,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-24T13:46:01.559Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Idris","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/stepancheg.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"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-07-20T16:39:56.000Z","updated_at":"2020-04-05T08:19:48.000Z","dependencies_parsed_at":null,"dependency_job_id":"84537167-3b15-4314-b61e-5ad48c9c09cf","html_url":"https://github.com/stepancheg/idris-sort","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/stepancheg%2Fidris-sort","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stepancheg%2Fidris-sort/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stepancheg%2Fidris-sort/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/stepancheg%2Fidris-sort/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/stepancheg","download_url":"https://codeload.github.com/stepancheg/idris-sort/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":244173462,"owners_count":20410303,"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-10-13T13:09:10.313Z","updated_at":"2026-01-05T03:02:20.514Z","avatar_url":"https://github.com/stepancheg.png","language":"Idris","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Implementation of sort algorithm in Idris\n\nJust for fun and self-education,\n\nMost of code copy-pasted from [this beautiful blog post](https://github.com/bmsherman/blog/wiki/Quicksort-in-Idris).\n\nImplementation of permutation transitivity\n(which is the hardest part of the implementation, and omitted in \"Quicksort in Idris\" blogpost)\nis taken from [this gist](https://gist.github.com/AndrasKovacs/0d7bcc3aba513c29ef73/).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstepancheg%2Fidris-sort","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fstepancheg%2Fidris-sort","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fstepancheg%2Fidris-sort/lists"}