https://github.com/chrispenner/void-space

Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
https://github.com/chrispenner/void-space

brick cli cli-game cli-games game haskell typing-game typing-trainer typing-tutor

Last synced: about 5 hours ago
JSON representation

Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me

• Host: GitHub
• URL: https://github.com/chrispenner/void-space
• Owner: ChrisPenner
• License: bsd-3-clause
• Created: 2018-11-01T03:06:58.000Z (about 6 years ago)
• Default Branch: master
• Last Pushed: 2020-05-12T16:24:32.000Z (over 4 years ago)
• Last Synced: 2024-02-17T10:38:33.619Z (9 months ago)
• Topics: brick, cli, cli-game, cli-games, game, haskell, typing-game, typing-trainer, typing-tutor
• Language: Haskell
• Homepage:
• Size: 195 KB
• Stars: 138
• Watchers: 8
• Forks: 10
• Open Issues: 2
• Metadata Files:
  • Readme: README.md
  • Changelog: ChangeLog.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# VOIDSPACE

Yo dawg; I heard you like types, so I made a well-typed typing tutor where you can type your types... in SPACE!

[![asciicast](https://asciinema.org/a/212931.svg)](https://asciinema.org/a/212931)

Fight off scary category-theory in outer-space with nothing but your trusty keyboard :)

See how many kills you can get before you asphyxiate in the cold dark void

(trust me, you'll lose eventually :wink: )

## Usage

-   Clone the repo

-   `$ stack install`

-   `$ void-space-exe` (from the root of the repo)

-   Customize `word-list.txt` or add your own space-ships and art in `./art`!

-   Customize values in `src/Config.hs` to tweak difficulty!

## Features

-   [x] Super-awesome recharging shield tech to make the Space Federation proud.

-   [x] Customizable art!

-   [x] Auto-scaling (and customizable) difficulty

-   [x] Super cool space background to impress all your friends (my mother was VERY impressed)

-   [ ] Distributed Client/Server architecture for LAN play! Cuz you gotta have LAN

        parties, how else am I supposed to get rid of all of these Doritos?

-   [ ] Chaotic events!

-   [ ] Powerups!

-   [ ] Co-operative mode!

## Design Principles

Unlike many fun games designed to help you learn Haskell, this one was

intentionally designed to use as many complex and confusing concepts as

possible! The real world's tough kid, best get used to it :wink:, in reality

it's not that bad, but it does use Classy Lenses and some pretty complex

traversals and folds as well as some darker corners of the lens library. Have

fun digging through it! It originally used vectors with dependent types,

representable functors, and the

[`selections`](http://hackage.haskell.org/package/selections) lib, but I

decided to take it easy (for now).