GTD-oriented task manager with support for nested tasks and a focus on finding actionable tasks.
☆18Jun 24, 2022Updated 4 years ago
Alternatives and similar repositories for nextool
Users that are interested in nextool are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Dynamic lock for GNOME. Use your smart phone/watch/band to lock your desktop automatically when you step away.☆13Sep 1, 2026Updated last month
- Fully Connected Memristor based Neural Network Simulator☆10Jun 7, 2024Updated 2 years ago
- A Python framework to connect to email/contacts/agendas servers and write automated rules for efficient workflows.☆16Sep 29, 2026Updated 2 weeks ago
- Vja - Vikunja Client (Mirror of https://gitlab.com/ce72/vja)☆16Oct 3, 2026Updated last week
- Pet-project. Alarm clock with tests for programmers. Portfolio project.☆10Nov 14, 2020Updated 5 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.
- Self-hosted fitness activity tracker written in Python (early WIP)☆11Dec 31, 2022Updated 3 years ago
- OneTab Reborn is a restyled fork of the original OneTab (pre‑2.0) with an interface inspired by WinUI.☆21Jul 4, 2026Updated 3 months ago
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated 3 weeks ago
- Logseq plugin that lets you quickly jump to a block within the current page.☆15Sep 9, 2023Updated 3 years ago
- The purpose of this plugin is to give logseq a vim-like editing experience☆15Sep 16, 2022Updated 4 years ago
- Logseq echarts plugin☆16Updated this week
- Logseq theme based on Tufte-CSS☆19Sep 11, 2023Updated 3 years ago
- Responsive Hugo theme inspired in YouTube layout☆11Apr 25, 2023Updated 3 years ago
- ☆15Jul 27, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Experimental normalisation via scheme☆11Jul 25, 2021Updated 5 years ago
- Content-addressed identifiers in OCaml☆16Mar 23, 2023Updated 3 years ago
- SMLDoc, detached from the SML# distribution☆11Oct 22, 2011Updated 14 years ago
- An interactive interpreter for asynchronous algebraic effects☆16Jun 19, 2024Updated 2 years ago
- Send content from mobile apps to Logseq☆23Apr 25, 2024Updated 2 years ago
- Application to generate an RSS feed from your GitHub notifications.☆13Dec 8, 2022Updated 3 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- ☆11Jul 20, 2016Updated 10 years ago
- ☆12Mar 13, 2025Updated last year
- 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.
- A formalization of synthetic algebraic geometry in Agda☆14Jan 5, 2019Updated 7 years ago
- macOS bindings to the FSEvents API☆18Aug 13, 2026Updated 2 months ago
- A Formalization of TeX in Coq☆11Feb 27, 2022Updated 4 years ago
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- ☆29Jun 30, 2026Updated 3 months ago
- a handy static website generator☆11Nov 12, 2023Updated 2 years ago
- A work-in-progress structure editor for the cooltt proof assistant.☆18Jul 28, 2022Updated 4 years ago
- ☆16Jun 9, 2024Updated 2 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Open-source bell system with C++ daemon and PHP website interface. Bell rung by serial, GPIO, or custom command. I use a triac circuit wi…☆10Oct 9, 2020Updated 6 years ago
- ☆17Oct 16, 2018Updated 7 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 9 years ago
- Utensil's Zettelkasten-style forest of evergreen notes on math and tech.☆13Updated this week
- ☆16Aug 2, 2023Updated 3 years ago
- Quick capture your ideas to journal or specify page.☆26Mar 5, 2023Updated 3 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 12 years ago