Cross-platform typing practice.
☆12Dec 26, 2019Updated 6 years ago
Alternatives and similar repositories for amphetype2
Users that are interested in amphetype2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A software to teach you how to type, how to type faster, and to train your typing speed.☆14May 17, 2018Updated 8 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆11Dec 11, 2020Updated 5 years ago
- Web Pipe is an experimental DSL and Rust runtime for building web apps via composable JSON pipelines, featuring native integration of Gra…☆18Jul 2, 2026Updated 2 months ago
- vi-like firefox bindings built on top of exwm-firefox-core☆12Mar 11, 2025Updated last year
- build system for building a portable python interpreter☆25Dec 5, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An attoparsec roundtrip☆19Apr 23, 2020Updated 6 years ago
- Library for generating Elm syntax from Haskell in a scope-safe way☆24Dec 2, 2023Updated 2 years ago
- A persistant bar at the top the screen.☆15Oct 22, 2021Updated 4 years ago
- A lightweight wrapper for KVO, bind view and model easily☆11May 18, 2016Updated 10 years ago
- Tools for communicating with Intel Management Engine through MEI (HECI)☆13Jul 27, 2017Updated 9 years ago
- Automatic installation of a minimal Basilisk II (Apple Macintosh Quadra 800) system using Raspberry Pi OS Lite on a Raspberry Pi (1, 2, o…☆13Jun 23, 2021Updated 5 years ago
- Mozilla Firefox patched for airyxOS with global menu support and packaged as an Application Bundle☆12Feb 3, 2022Updated 4 years ago
- Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core☆29Mar 24, 2019Updated 7 years ago
- JTAG in a box : easy JTAG for router flashing, recovery and many more use cases !☆13Dec 17, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Portable, extensible history database for command line tools☆30Aug 26, 2026Updated last week
- license key generator and validator used in libmdk☆15Mar 18, 2026Updated 5 months ago
- Have your AppImage check libgcc and libstdc++ dependencies at runtime.☆44Oct 24, 2025Updated 10 months ago
- ☆17Jul 7, 2019Updated 7 years ago
- Enable Travis CI for a project from the command line.☆16Jul 24, 2017Updated 9 years ago
- Port of PicoDexed to the Raspberry Pi Pico 2 (RP2350, ARM Cortex-M33 cores)☆15Sep 3, 2024Updated last year
- Header file only filesystem library similar to boost::filesystem, but more light-weight. Supports both Windows and POSIX filesystem APIs…☆10Feb 17, 2010Updated 16 years ago
- ESP8266 WiFi IR/Sensor/Control☆10Jan 12, 2017Updated 9 years ago
- Lightweight installer/updater for portable desktop applications☆15Oct 5, 2020Updated 5 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- OpenAL Soft 3D audio library for Windows Phone 8+/ Windows Store 8+ App☆11Dec 3, 2015Updated 10 years ago
- A micro C compiler for x86-64☆26May 30, 2026Updated 3 months ago
- libmdk codec plugin based on microsoft media foundation transform☆11Jun 30, 2022Updated 4 years ago
- types for various combinatory systems, especialy tree calculi☆28Jan 23, 2025Updated last year
- A Qt grid layout clone of WPF's grid with "star sizing"☆12Jul 30, 2019Updated 7 years ago
- A pacman and cower wrapper☆25Mar 19, 2017Updated 9 years ago
- Specification of the Cedille Core language☆36Jul 21, 2020Updated 6 years ago
- Flash Driver for FTLs☆15Feb 3, 2025Updated last year
- Tool to easily benchmark QML/QtQuick (or your own QML components) performance on different hardware.☆29Oct 20, 2022Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- An open source and open hardware DCC decoder for model locomotives.☆16Sep 15, 2025Updated 11 months ago
- http://woboq.com/blog/gpu-drawing-using-shadereffects-in-qtquick.html☆13May 11, 2015Updated 11 years ago
- ~/.files☆17Updated this week
- Experimental 2D Engine in C☆16Dec 27, 2016Updated 9 years ago
- A fork of squashfs-tools to extract AppImages☆13Aug 22, 2022Updated 4 years ago
- A SilverStripe boilerplate theme, running on Bootstrap. Uses less as the css preprocessor via grunt.☆10Jun 8, 2021Updated 5 years ago
- Fortran Array collection library☆15Feb 14, 2017Updated 9 years ago