A simple web app for practicing touch-typing
☆51Feb 13, 2021Updated 5 years ago
Alternatives and similar repositories for typing-practice
Users that are interested in typing-practice are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Access any internal service from your browser. No VPN, no client, one command. Shield CLI is a browser-first internal service gateway — S…☆37Jun 18, 2026Updated last week
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆17Apr 14, 2026Updated 2 months ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- Helps developers for SteamVR select the default microphone☆14Nov 5, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- A keyboard that is always consonant☆19Dec 16, 2023Updated 2 years ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆15Dec 30, 2023Updated 2 years ago
- OCaml library for manipulating context-free grammars☆20Updated this week
- An effortless way to convert your python file to exe file in GUI. You can select your own python environment for the conversion.☆10May 10, 2023Updated 3 years ago
- Connect to Cisco AnyConnect VPN and open a Microsoft Remote Desktop (RDP) window☆12Apr 5, 2026Updated 2 months ago
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- [NO MAINTAINED] Delphi SDK for LeanCloud BaaS demo☆12Dec 6, 2019Updated 6 years ago
- ☆18Jul 23, 2019Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆22Apr 17, 2024Updated 2 years ago
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 4 months ago
- ☆12Feb 4, 2022Updated 4 years ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 5 years ago
- ☆15Sep 14, 2018Updated 7 years ago
- Please visit the main Nebula repo: https://github.com/slackhq/nebula☆10Feb 6, 2026Updated 4 months ago
- RealThinClient SDK v8.04 - LITE☆12Dec 17, 2017Updated 8 years ago
- Small C to WebAsssembly compiler developed for the Compilers course at UFES☆16Mar 15, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- QuickFIX 101: Building a Sample Trading App☆19Oct 9, 2020Updated 5 years ago
- OpenEdoo Core☆13Oct 4, 2017Updated 8 years ago
- 基于miniblink的duilib控件。☆10May 24, 2019Updated 7 years ago
- ImageMagick library API for Delphi (VCL and FMX) in Win32, Win64, Android and Linux apps☆12Jun 15, 2022Updated 4 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- Formalization of Linear Logic in Coq☆18Apr 9, 2026Updated 2 months ago
- The cross-platform GUI for Tox with a single view for all platforms.☆11Mar 1, 2014Updated 12 years ago
- Fast lojban dictionary https://foldr.moe/lidysisku/☆15Jun 20, 2026Updated last week
- an CoreAnimation layer engine on windows platform, some like core animation in cocoa frameworks. lightweight and c++.☆11Sep 21, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- FreePascal youtube-dl wrapper☆13Dec 1, 2025Updated 6 months ago
- 水杉输入法文档。施工中。Docs of Metasequoia IME. 中文输入法。Windows 输入法。纯 TSF 输入法。☆23Mar 17, 2026Updated 3 months ago
- MiniBlink的vip版本c#封装demo，接口有详细注释说明，同步MB最新版本☆10Jun 28, 2020Updated 6 years ago
- Specifications and safety proofs in different tools of a simple concurrent algorithm☆24May 24, 2020Updated 6 years ago
- Fork of Joe's Own Editor with complete history☆17Jul 27, 2013Updated 12 years ago
- An RDP to VNC bridge☆12Feb 21, 2018Updated 8 years ago
- Microsoft Azure Data Lake Store Library for Delphi☆17Sep 8, 2020Updated 5 years ago