{"id":18345141,"url":"https://github.com/chrispenner/void-space","last_synced_at":"2025-04-06T08:31:35.479Z","repository":{"id":77071918,"uuid":"155654714","full_name":"ChrisPenner/void-space","owner":"ChrisPenner","description":"Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me","archived":false,"fork":false,"pushed_at":"2020-05-12T16:24:32.000Z","size":200,"stargazers_count":138,"open_issues_count":2,"forks_count":10,"subscribers_count":8,"default_branch":"master","last_synced_at":"2024-02-17T10:38:33.619Z","etag":null,"topics":["brick","cli","cli-game","cli-games","game","haskell","typing-game","typing-trainer","typing-tutor"],"latest_commit_sha":null,"homepage":"","language":"Haskell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-3-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/ChrisPenner.png","metadata":{"files":{"readme":"README.md","changelog":"ChangeLog.md","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-11-01T03:06:58.000Z","updated_at":"2024-05-30T05:09:31.062Z","dependencies_parsed_at":"2024-02-02T02:31:10.790Z","dependency_job_id":null,"html_url":"https://github.com/ChrisPenner/void-space","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/ChrisPenner%2Fvoid-space","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ChrisPenner%2Fvoid-space/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ChrisPenner%2Fvoid-space/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ChrisPenner%2Fvoid-space/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/ChrisPenner","download_url":"https://codeload.github.com/ChrisPenner/void-space/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":223245089,"owners_count":17112572,"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":["brick","cli","cli-game","cli-games","game","haskell","typing-game","typing-trainer","typing-tutor"],"created_at":"2024-11-05T21:07:21.004Z","updated_at":"2024-11-05T21:07:21.456Z","avatar_url":"https://github.com/ChrisPenner.png","language":"Haskell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# VOIDSPACE\n\nYo dawg; I heard you like types, so I made a well-typed typing tutor where you can type your types... in SPACE!\n\n[![asciicast](https://asciinema.org/a/212931.svg)](https://asciinema.org/a/212931)\n\nFight off scary category-theory in outer-space with nothing but your trusty keyboard :)\n\nSee how many kills you can get before you asphyxiate in the cold dark void\n(trust me, you'll lose eventually :wink: )\n\n## Usage\n\n-   Clone the repo\n-   `$ stack install`\n-   `$ void-space-exe` (from the root of the repo)\n-   Customize `word-list.txt` or add your own space-ships and art in `./art`!\n-   Customize values in `src/Config.hs` to tweak difficulty!\n\n## Features\n\n-   [x] Super-awesome recharging shield tech to make the Space Federation proud.\n-   [x] Customizable art!\n-   [x] Auto-scaling (and customizable) difficulty\n-   [x] Super cool space background to impress all your friends (my mother was VERY impressed)\n-   [ ] Distributed Client/Server architecture for LAN play! Cuz you gotta have LAN\n        parties, how else am I supposed to get rid of all of these Doritos?\n-   [ ] Chaotic events!\n-   [ ] Powerups!\n-   [ ] Co-operative mode!\n\n## Design Principles\n\nUnlike many fun games designed to help you learn Haskell, this one was\nintentionally designed to use as many complex and confusing concepts as\npossible! The real world's tough kid, best get used to it :wink:, in reality\nit's not that bad, but it does use Classy Lenses and some pretty complex\ntraversals and folds as well as some darker corners of the lens library. Have\nfun digging through it! It originally used vectors with dependent types,\nrepresentable functors, and the\n[`selections`](http://hackage.haskell.org/package/selections) lib, but I\ndecided to take it easy (for now).\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fchrispenner%2Fvoid-space","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fchrispenner%2Fvoid-space","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fchrispenner%2Fvoid-space/lists"}