rmehri01 / thockLinks
⌨️ A modern TUI typing game featuring online racing against friends.
☆93Updated 3 years ago
Alternatives and similar repositories for thock
Users that are interested in thock are comparing it to the libraries listed below
Sorting:
- Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me☆141Updated 5 years ago
- ☆16Updated 3 weeks ago
- A CLI tool for generating images of ferns 🌿 and other Iterated Function Systems☆49Updated last year
- Haskell static site generator based on Shake (superseded by https://github.com/srid/ema)☆119Updated 3 years ago
- Application launcher in haskell. Mostly Just For Fun.☆72Updated 6 months ago
- Terminal Emulator written in 100% Haskell☆67Updated 3 years ago
- Agda interaction pluging for neovim☆37Updated 8 months ago
- An experiment of formatting .cabal files☆112Updated 2 months ago
- An unofficial Idris2 package repository for Nix☆46Updated 2 years ago
- (neo)vim plugin that uses fzf for previewing hoogle search results☆41Updated 3 years ago
- Hakyll + Nix starter template☆58Updated 8 months ago
- Hoogle search integration for Telescope☆50Updated last year
- Twitch/Discord Chat Bot that works for KGB monkaS☆17Updated 4 years ago
- seamless management of source dependencies with nix☆38Updated 5 months ago
- write scripts in compiled languages that run in the nix ecosystem, with no separate build step☆179Updated 11 months ago
- A shell prompt with infinite customization☆39Updated last year
- todo and unimplemented, robustly implemented☆36Updated 9 months ago
- ️🌈 Convenient interface for printing colourful messages☆69Updated last month
- Debug Adapter for Haskell debugging system.☆59Updated last month
- Configure dzen2 bars in Dhall language☆24Updated 5 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- A re-implementation of weeder using HIE files☆177Updated this week
- ☆23Updated 11 months ago
- Hoogle terminal UI brick example app☆100Updated 2 months ago
- NeoVim plugin for interacting with Agda written in Lua☆18Updated last year
- Convert values from one type into another.☆76Updated last month
- A Neovim plugin host and framework for Haskell☆19Updated 9 months ago
- ☆35Updated 3 years ago
- Flake template for Haskell repository☆37Updated 8 months ago
- Command Line Interface File Manager☆107Updated 4 years ago