A highly customizable polar clock written in HTML5
☆13Jul 17, 2018Updated 7 years ago
Alternatives and similar repositories for PolarClock
Users that are interested in PolarClock are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The best heavy-metal Viking-themed fish-slaughtering game you'll play today!☆17Jul 19, 2018Updated 7 years ago
- Simple Android space shooter☆13Jan 15, 2017Updated 9 years ago
- A random workout generator for Android.☆13May 5, 2022Updated 4 years ago
- ☆15Jan 30, 2020Updated 6 years ago
- A musician's training log and practice tool for Android☆17May 5, 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.
- Free Runner☆13Mar 18, 2018Updated 8 years ago
- Codes related to Idris☆16Sep 4, 2015Updated 10 years ago
- Regular expression matching in Idris☆11Apr 27, 2016Updated 10 years ago
- Hindering Backchannels Rule☆12Feb 7, 2020Updated 6 years ago
- A to-do "list" based on stacks, queues, and randomization for Android.☆18May 5, 2022Updated 4 years ago
- A Very Low-Level Twitter Client☆13Feb 14, 2019Updated 7 years ago
- Get/show dad jokes in Emacs☆10Sep 28, 2017Updated 8 years ago
- Experimental C++11 backend for Idris☆15Nov 29, 2014Updated 11 years ago
- Interface for Surf under exwm☆12May 26, 2018Updated 8 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.
- Use your Android phone to load releases in MusicBrainz Picard.☆30Jun 1, 2026Updated last month
- Curses bindings package for Idris☆13Jan 4, 2019Updated 7 years ago
- Candy Memory: a match two memory game for Android☆18Apr 23, 2023Updated 3 years ago
- My personal emacs config☆15Jun 15, 2026Updated 2 weeks ago
- A jigsaw game for Android.☆17Jun 26, 2016Updated 10 years ago
- A true dark theme for Icinga Web 2☆13Jul 23, 2025Updated 11 months ago
- Mirror of Chuck Moore’s Forth book☆12Apr 4, 2015Updated 11 years ago
- A simple presentation tool for Emacs☆14Jan 10, 2017Updated 9 years ago
- A browser game about cooperation and minotaurs.☆16Mar 8, 2025Updated last year
- 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.
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39May 21, 2018Updated 8 years ago
- A flappy bird clone written in elm.☆14Jul 12, 2019Updated 6 years ago
- TICE is a secure app for meeting up, sharing locations and locating friends and family in real-time. TICE allows live location sharing on…☆14Sep 8, 2023Updated 2 years ago
- Conky like live wallpaper for Android☆39Mar 9, 2016Updated 10 years ago
- Smarter underscore for Emacs Speaks Statistics☆13Mar 9, 2019Updated 7 years ago
- ☆10Jan 26, 2024Updated 2 years ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 8 years ago
- A population dynamics simulator based on an idea by Alexander Keewatin Dewdney☆10May 3, 2016Updated 10 years ago
- The Sheet Music Generator☆13Aug 22, 2016Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Elm architecture ported to Idris Programming language☆14Feb 27, 2019Updated 7 years ago
- Blog & personal website☆18Dec 24, 2025Updated 6 months ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 9 years ago
- sokobang - sokoban puzzle w/ bigbang.coffee☆15Dec 16, 2023Updated 2 years ago
- ☆15Jul 20, 2018Updated 7 years ago
- Build a tower as tall as possible.☆21Sep 19, 2018Updated 7 years ago
- Collection of Idris snippets☆25Dec 23, 2025Updated 6 months ago