A simple web app for practicing touch-typing
☆52Feb 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:
- ☆10Jul 26, 2021Updated 5 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆12Nov 22, 2022Updated 3 years ago
- An OS that "throws" bests☆15Dec 1, 2024Updated last year
- Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.☆14Sep 14, 2020Updated 5 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Nov 14, 2024Updated last year
- 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.
- C++版：手机号码归属地信息库、手机号归属地查询 phone.dat 最后更新：2017年4月 https://github.com/xluohome/phonedata☆11Aug 28, 2017Updated 9 years ago
- A repository for Dsa solutions and approaches 📚📕☆15Nov 17, 2021Updated 4 years ago
- ROS Joystick is a Hybrid Application, that enables the remote controlling and monitoring of a robot that runs ROS.☆12Nov 23, 2022Updated 3 years ago
- The aim of this project is to provide free learning and test skills.☆14Oct 3, 2021Updated 4 years ago
- A keyboard that is always consonant☆19Dec 16, 2023Updated 2 years ago
- A bluetooth controller for Otto DIY robots that can be used from web to easily control your Otto.☆14Updated this week
- OCaml library for partially ordered maps☆15Jun 23, 2026Updated 2 months ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- My emacs config (as a nix flake)☆15Nov 17, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A method for evaluating the high-level coherence of machine-generated texts. Identifies high-level coherence issues in transformer-based …☆12Mar 18, 2023Updated 3 years ago
- Generate and sync per-language i18n JSON files from a Google Sheets spreadsheet.☆11May 21, 2026Updated 3 months ago
- 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
- an CoreAnimation layer engine on windows platform, some like core animation in cocoa frameworks. lightweight and c++.☆11Sep 21, 2023Updated 2 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆23Apr 17, 2024Updated 2 years ago
- Fullstack application☆18Nov 22, 2022Updated 3 years ago
- Demo for a ROS based car robot controlled by an Android phone app.☆11Apr 25, 2018Updated 8 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆20Apr 14, 2026Updated 4 months ago
- Python bindings to the Open Source License API☆21Apr 5, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Connect to Cisco AnyConnect VPN and open a Microsoft Remote Desktop (RDP) window☆12Apr 5, 2026Updated 4 months ago
- The SputnikDao and SputnikDao Factory contracts written in AssemblyScript.☆13May 6, 2022Updated 4 years ago
- Fast lojban dictionary https://foldr.moe/lidysisku/☆15Jul 13, 2026Updated last month
- Full open source mobile terminal device with e-ink screen, physical keyboard and long battery life, suitable for Linux system administrat…☆11Mar 16, 2016Updated 10 years ago
- Standalone GN with builtin configs.☆18Jan 22, 2025Updated last year
- REDM是一套基于商业化标准的开源directui界面框架，不仅能提供完善的项目管理方案、详细的文档框架，也可轻松协助完成可视化界面设计，其核心库的稳定性已在内部多个大型商化项目中通过验证。 http://hgy413.com/3426.html☆14Aug 19, 2018Updated 8 years ago
- OpenEdoo Core☆13Oct 4, 2017Updated 8 years ago
- Formalization of the Truly Stateless Concurrency Model Checker in Coq☆13Nov 16, 2021Updated 4 years ago
- An application to convert expression notations☆11Nov 11, 2023Updated 2 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.
- Please visit the main Nebula repo: https://github.com/slackhq/nebula☆10Aug 20, 2026Updated last week
- Documentation for Zilliqa developer☆15May 18, 2024Updated 2 years ago
- RealThinClient SDK v8.04 - LITE☆12Dec 17, 2017Updated 8 years ago
- Formalization of Linear Logic in Coq☆18Apr 9, 2026Updated 4 months ago
- Python tool (and library) to sign/verify files with RSA, Ed25519, or EC/secp256k1 keys☆14Apr 16, 2021Updated 5 years ago
- 基于miniblink的duilib控件。☆10May 24, 2019Updated 7 years ago
- Formal semantics in Agda.☆17Jul 2, 2015Updated 11 years ago