All Projects → ChrisPenner → Void Space

ChrisPenner / Void Space

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

Programming Languages

haskell
3896 projects

Labels

Projects that are alternatives of or similar to Void Space

Term2048
🎉 2048 in your terminal
Stars: ✭ 777 (+647.12%)
Mutual labels:  cli, game
2048.c
Console version of the game "2048" for GNU/Linux
Stars: ✭ 453 (+335.58%)
Mutual labels:  cli, game
Braincup
Train your math skills, memory and focus.
Stars: ✭ 137 (+31.73%)
Mutual labels:  cli, game
Life
Conway's Game of Life written in Swift 👾
Stars: ✭ 21 (-79.81%)
Mutual labels:  cli, game
Cli
Try and use desktop software in your browser without downloading/installing anything.
Stars: ✭ 103 (-0.96%)
Mutual labels:  cli
Tree Node Cli
🌲 Node.js library to list the contents of directories in a tree-like format, similar to the Linux tree command
Stars: ✭ 102 (-1.92%)
Mutual labels:  cli
Py Todo
📋 Lightweight reminder / todo-list in cli
Stars: ✭ 102 (-1.92%)
Mutual labels:  cli
Ruby Progressbar
Ruby/ProgressBar is a text progress bar library for Ruby.
Stars: ✭ 1,378 (+1225%)
Mutual labels:  cli
Aura.cli
Command-Line Interface tools
Stars: ✭ 103 (-0.96%)
Mutual labels:  cli
Speedtest Linux
Get download/upload speeds via speedtest.net or fast.com from command line using Bash script -- suitable for logs. POSIX OSX Linux
Stars: ✭ 103 (-0.96%)
Mutual labels:  cli
Swiftplaygroundscli
Easily generate Swift Playgrounds from your command line 👨‍💻
Stars: ✭ 103 (-0.96%)
Mutual labels:  cli
Arcgis Js Cli
CLI to build a template application and widgets using the ArcGIS API for JavaScript
Stars: ✭ 102 (-1.92%)
Mutual labels:  cli
Riot Api
Riot League of Legends & DataDragon API wrappers for PHP7
Stars: ✭ 103 (-0.96%)
Mutual labels:  cli
Tetris
An almost complete tetris
Stars: ✭ 102 (-1.92%)
Mutual labels:  game
Cloudbase Framework
🏆 腾讯云开发 ☁️ 云原生一体化部署工具 🚀 CloudBase Framework:一键部署,不限框架语言,云端一体化开发,基于Serverless 架构。A front-end and back-end integrated deployment tool 🔥 One-click deploy to serverless architecture. https://docs.cloudbase.net/framework
Stars: ✭ 1,389 (+1235.58%)
Mutual labels:  cli
Csv2db
The CSV to database command line loader
Stars: ✭ 102 (-1.92%)
Mutual labels:  cli
Posce
A note-taking toolkit for your command line.
Stars: ✭ 103 (-0.96%)
Mutual labels:  cli
Level13
Incremental browser text adventure
Stars: ✭ 103 (-0.96%)
Mutual labels:  game
Bangajs
Bàngá is a CLI generator for scaffolding ExpressJS applications with speed and efficiency.
Stars: ✭ 102 (-1.92%)
Mutual labels:  cli
Urcli
CLI tool for the Udacity Reviews API
Stars: ✭ 102 (-1.92%)
Mutual labels:  cli

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

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 😉 )

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 😉, 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 lib, but I decided to take it easy (for now).

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].