Pomotodo is an android application that helps you manage your tasks using thePomodoro's technique. It can also synchronize with Toodledo's task manager. You can download PomoTodo, from the Android Market.
☆28Mar 16, 2024Updated 2 years ago
Alternatives and similar repositories for PomoTodo
Users that are interested in PomoTodo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jul 2, 2023Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- STL-compliant map and set container based on a C++11 Adaptive Radix Tree implementation.☆11Aug 10, 2016Updated 9 years ago
- My first real project in high school: audio player with easy A-B repeating. Windows only.☆12Oct 2, 2011Updated 14 years ago
- clone of https://code.google.com/p/leveldb/☆23Nov 11, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- ☆10Oct 18, 2024Updated last year
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- 2D game engine for Common Lisp☆12Jun 5, 2012Updated 13 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- fast unique variables☆10Aug 23, 2025Updated 7 months ago
- Rust bindings to [primesieve](http://primesieve.org)☆10May 7, 2017Updated 8 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- Programs and scripts used in manufacturing☆10Aug 2, 2016Updated 9 years ago
- Identity value☆10Apr 27, 2022Updated 3 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Apr 27, 2022Updated 3 years ago
- Emacs mode to Fabric.☆11Jan 14, 2022Updated 4 years ago
- 项目管理平台(project management platform)☆23Aug 26, 2013Updated 12 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Managed research kernel☆43Jan 29, 2010Updated 16 years ago
- Cottonwood UHF RFID reader module☆12Apr 3, 2014Updated 11 years ago
- AVL Trees for Racket☆12Jan 7, 2018Updated 8 years ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- OpenCV Python wrapper example for CUDA function☆11Jan 5, 2022Updated 4 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 5 years ago
- A blog about Coq☆11Mar 21, 2021Updated 5 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 3 years ago
- BOSSA is the programming software used to program SAM-based Arduino boards like Flutter. We added our chip.☆12Mar 17, 2015Updated 11 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Tuple data structures.☆15Jan 4, 2017Updated 9 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- Make WinRM service calls from NodeJS☆11Jan 4, 2023Updated 3 years ago
- Bifunctors and biapplicatives☆12Apr 13, 2025Updated 11 months ago
- ☆12May 9, 2015Updated 10 years ago
- Embedded software from JeeLabs☆14Aug 25, 2017Updated 8 years ago