Device repository for HTC Click (Tattoo)
☆15Oct 7, 2014Updated 12 years ago
Alternatives and similar repositories for android_device_htc_click
Users that are interested in android_device_htc_click are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Oct 14, 2020Updated 6 years ago
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 7 years ago
- ☆10Dec 2, 2025Updated 10 months ago
- Miso @ MuniHac 2020☆10Sep 11, 2020Updated 6 years ago
- All related config and files for a demo of the full power of haproxy including https, tls, ssh, and openvpn.☆10Jan 7, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆13Nov 16, 2018Updated 7 years ago
- ☆12Aug 26, 2011Updated 15 years ago
- ☆11Jun 19, 2021Updated 5 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- Slides and projects for LambdaConf 2018 Workshop☆16Jun 3, 2018Updated 8 years ago
- Example project of DevContainer environment for VSCode with working Stack, nix, HIE and debugger☆14Feb 24, 2020Updated 6 years ago
- Hashing with SL2 for Haskell☆20Nov 29, 2019Updated 6 years ago
- Slides for presentations!☆16Jun 23, 2026Updated 4 months ago
- Example code for my GDC Europe 2014 talk about Linux game programming☆15Nov 22, 2025Updated 11 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Old and New GHC☆20Feb 22, 2023Updated 3 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 7 years ago
- GOF Patterns in Functional light☆15Oct 15, 2019Updated 7 years ago
- NixOS install image for rock64☆22Jun 17, 2020Updated 6 years ago
- Personal servers and also my router config.☆21Oct 27, 2020Updated 6 years ago
- The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course☆21Dec 1, 2017Updated 8 years ago
- This projects takes features included in https://github.com/rockchip-linux/kernel and makes them buildable out-of-tree, on mainline kerne…☆16May 17, 2017Updated 9 years ago
- Manage Citrix NetScaler using Nitro API☆18Oct 28, 2025Updated last year
- A Haskell MQTT client library.☆22Feb 17, 2020Updated 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.
- Implement FIDO U2F in OpenSSH with SoloKeys☆22Mar 9, 2020Updated 6 years ago
- open-source reimplementation of Cryo's DUNE game☆15Jan 16, 2022Updated 4 years ago
- An interactive workshop on implementing AlgorithmW in Kotlin☆21Jun 7, 2020Updated 6 years ago
- The official Last.fm desktop application suite☆15Sep 6, 2015Updated 11 years ago
- what it says on the tin☆24Jun 6, 2018Updated 8 years ago
- ☆23Dec 7, 2021Updated 4 years ago
- ZuriHac registration system☆24Jun 11, 2026Updated 4 months ago
- Slides and exercises for an STM "course" series☆29Jun 10, 2020Updated 6 years ago
- A 2D platformer in Idris, a dependently-typed purely functional programming language☆25Jul 3, 2020Updated 6 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.
- Quickcheck Properties for common typeclasses☆35Dec 27, 2025Updated 10 months ago
- Solve classical planning problems (STRIPS/SAS+) using Haskell & Fast Downward☆32May 11, 2023Updated 3 years ago
- SPJ's tutorial on implementing functional languages☆30Jul 29, 2019Updated 7 years ago
- Build Grafana dashboards with Dhall☆29Jan 24, 2024Updated 2 years ago
- Code for the "Logic, machines and sequent calculus" talk☆32Sep 7, 2022Updated 4 years ago
- List of Haskell streamers on Twitch, YouTube, etc.☆29Jan 6, 2021Updated 5 years ago
- My ZeroTier DNS modules☆32Jun 12, 2020Updated 6 years ago