void-space
typing tutor
A well-typed typing tutor game in Haskell that utilizes complex concepts like category theory to teach programming skills.
Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me
141 stars
8 watching
10 forks
Language: Haskell
last commit: over 6 years agobrickclicli-gamecli-gamesgamehaskelltyping-gametyping-trainertyping-tutor
Related projects:
| Repository | Description | Stars |
|---|---|---|
 camilogarcialarotta/kboard | A terminal game to practice keyboard typing by generating words and timing the player's input. | 188 |
 a-n-t-h-o-n-y/typer | An application that uses a terminal-based interface to track typing accuracy and speed. | 7 |
 klaaspieter/letters | An educational Mac app designed to teach children the alphabet and typing skills through interactive games and activities | 27 |
 scottbrooks/gopher_typer | A typing game where players type words as they fall from the screen and can upgrade goroutines to improve performance. | 5 |
 haskvan/haskellkoans | A tool designed to help beginners learn Haskell programming through interactive exercises and challenges. | 283 |
 rmehri01/thock | An online typing game with a terminal-based user interface and real-time multiplayer capabilities via websockets | 89 |
 maaslalani/typer | A terminal-based typing test tool with customizable settings and word sources. | 477 |
 crabtyper/crabtyper | A web application built with Rust and WebAssembly for learning typing speed and accuracy through interactive exercises. | 187 |
 i-am-tom/learn-me-a-haskell | Learning Haskell with focus on dependent types and type-level programming using the OneOf data structure | 70 |
| chrispenner/slick | A static site generator built on Shake configured in Haskell, providing tools and combinators for building websites. | 204 |
 well-typed/unfolder | A repository providing code snippets to illustrate key concepts in Haskell programming | 85 |
 w7cook/aopl | Teaching notes and resources on programming languages written in Haskell | 165 |
 fgaz/hackertyper | A Haskell program that generates random keyboard input to simulate 'hacking' in movies and games. | 46 |
 smallhadroncollider/ascii-runner | An infinite runner game played in the terminal using Haskell | 105 |
 billpmurphy/hask | A Python library that mimics key features of the Haskell programming language. | 862 |