FabienM / fitbit-face-digitless
A Fitbit clock face inspired by vurggodzns' digitless https://www.facer.io/watchface/kKMuqp1O4v
☆9Updated 2 years ago
Alternatives and similar repositories for fitbit-face-digitless:
Users that are interested in fitbit-face-digitless are comparing it to the libraries listed below
- Fitbit analog clock face for Versa series watches☆12Updated 5 years ago
- Arcular - fitbit clock face for Ionic and Versa models☆8Updated 5 years ago
- Fitbit SDK example application.☆10Updated 2 years ago
- Fitbit SDK example application.☆22Updated 2 years ago
- BTCTools - Managing your ASIC miners (Windows)☆2Updated last year
- Project Template for IHP. Used by ihp-new. License: MIT☆11Updated 2 months ago
- Plot package similar to gnuplot☆23Updated last year
- Multinomials for the Mathematical Components library.☆14Updated last week
- Haskell implementation of the Unicode Collation Algorithm☆17Updated 3 months ago
- [Haskell] The "Network.Multicast" module is for sending UDP datagrams over multicast (class D) addresses.☆23Updated last year
- Operations for sequentially ordered types☆11Updated 2 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- ☆16Updated 5 years ago
- 💝 Haskell profiles to sponsor☆48Updated 3 years ago
- Happy Haskell Hacking with Atom and ghc-mod☆29Updated 9 years ago
- Formalization of Homotopy Type Theory for use in my Youtube videos☆15Updated 10 months ago
- QuadTree library for Haskell, using lenses.☆15Updated 6 years ago
- Webmentions implementation for Elixir☆20Updated last month
- An interpreter for the (made up) k programming language all done in Haskell☆8Updated last year
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 2 months ago
- formalization of theorems of higher algebraic K-theory☆8Updated 10 years ago
- A Haskell game written in Yampa☆27Updated last year
- A formalization of synthetic algebraic geometry in Agda☆14Updated 6 years ago
- Various mechanized proof files for fun.☆11Updated 2 months ago
- Haskell library for glob matching☆25Updated 3 years ago
- A collection of code snippets for the programming language Elm☆19Updated 4 years ago
- A composable abstraction over retriable transactions for Hasql☆12Updated 3 months ago
- Work in progress.☆11Updated last year