void-space
by ChrisPenner
Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
AI summary
typing tutor
A well-typed typing tutor game in Haskell that utilizes complex concepts like category theory to teach programming skills.
- stars
- 141
- forks
- 10
- watching
- 8
Similar projects
Found by comparing what the projects do, not just their names.
Typing trainer
A terminal game to practice keyboard typing by generating words and timing the player's input.
Typing trainer
An application that uses a terminal-based interface to track typing accuracy and speed.
Typing tutor
An educational Mac app designed to teach children the alphabet and typing skills through interactive games and activities
Typing Game
A typing game where players type words as they fall from the screen and can upgrade goroutines to improve performance.
Haskell tutor
A tool designed to help beginners learn Haskell programming through interactive exercises and challenges.
Typing game
An online typing game with a terminal-based user interface and real-time multiplayer capabilities via websockets
Typing trainer
A terminal-based typing test tool with customizable settings and word sources.
Typing trainer
A web application built with Rust and WebAssembly for learning typing speed and accuracy through interactive exercises.
Type checker
Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure
Site builder
A static site generator built on Shake configured in Haskell, providing tools and combinators for building websites.
Haskell tutorial snippets
A repository providing code snippets to illustrate key concepts in Haskell programming
w7cook/aopl165
Haskell textbook
Teaching notes and resources on programming languages written in Haskell
Keyboard hacker
A Haskell program that generates random keyboard input to simulate 'hacking' in movies and games.
Terminal game
An infinite runner game played in the terminal using Haskell
Haskell simulator
A Python library that mimics key features of the Haskell programming language.
