timewarrior extension that prints the total length of time spent on each of the selected tags in the selected time frame.
☆15Oct 21, 2026Updated 2 weeks ago
Alternatives and similar repositories for timewarrior-tagsum
Users that are interested in timewarrior-tagsum are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Bash completion for Timewarrior☆34May 29, 2024Updated 2 years ago
- Timewarrior extension for power users, including an interactive TUI and a Go package for writing your own extensions.☆17Sep 27, 2026Updated last month
- Minimalist GPG-powered vault encryption for KeePassXC. No cloud. No traces. Just your keys, your silence, and the seal.☆11Jul 18, 2025Updated last year
- Extension for Timewarrior.☆10Dec 14, 2020Updated 5 years ago
- Install Syncthing on Debian-based distributions.☆14Jan 14, 2025Updated last year
- 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.
- Fyzenor - C++ Based Filemanager☆15Sep 24, 2026Updated last month
- 🥚 hatch.nvim | Easy to use file templates for Neovim. Quickly fills empty buffers with boilerplate code.☆18Jan 22, 2026Updated 9 months ago
- This extension create a link between taskwarrior and timewarrior that allows you to keep track of time spend on tasks. The time will be d…☆42Nov 8, 2022Updated 4 years ago
- Access English Language dictionary definitions from the Launcher in Pop!_OS ("define XYZ")☆15Jul 20, 2023Updated 3 years ago
- Simple terminal UI for taskwarrior : lazytask inspired by lazygit☆18Jul 20, 2026Updated 3 months ago
- A Timewarrior report script for calculating billable hours.☆16Jun 8, 2024Updated 2 years ago
- Minimalistic web UI for Task warrior☆208Mar 19, 2026Updated 7 months ago
- A pretty printer for Lean 4☆10Mar 18, 2023Updated 3 years ago
- Proofmood is a computer logic system specifically tailored for Fitch calculus, covering propositional logic, first-order logic, and type …☆12Nov 1, 2023Updated 3 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.
- Get a balance between allotted and spent hours☆13Apr 16, 2024Updated 2 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- A semantic versioning command line utility written in Go.☆19Updated this week
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 3 years ago
- GNOME Shell extension that adds a menu with all open windows☆26Jul 20, 2026Updated 3 months ago
- Experimental deltachat client☆16May 11, 2024Updated 2 years ago
- The Official KindleForge Package Repository☆25Jul 11, 2026Updated 3 months ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple command-line bibtex query utility written in Lean 4☆11Oct 27, 2026Updated 2 weeks ago
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Sep 21, 2020Updated 6 years ago
- Formal grammars in Lean 3☆10Aug 14, 2023Updated 3 years ago
- A command-line interface for https://plane.so, an open-source project management tool. The CLI allows you to manage projects, work items,…☆31Updated this week
- ☆14Oct 31, 2021Updated 5 years ago
- Verification of Smart Contracts with Dafny – FMICS paper examples☆11Feb 8, 2024Updated 2 years ago
- Functional Programming in Lean の日本語訳. 演習問題への解答を含みます☆12Dec 14, 2024Updated last year
- Lean 3 web editor☆12Oct 25, 2023Updated 3 years ago
- i18n library for Lean.☆14Oct 22, 2026Updated 2 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An OpenMath 2.0 implementation in Python☆17May 22, 2020Updated 6 years ago
- Dashboard for Kindle Paperwhite 3 (KUAL extension)☆29Oct 3, 2020Updated 6 years ago
- ☆15Updated this week
- zsh plugin for timewarrior☆61Jun 24, 2025Updated last year
- Markdown translation tool.☆18Oct 17, 2022Updated 4 years ago
- Formalization of type theory☆22Jul 5, 2021Updated 5 years ago
- System-wide Lean input method☆13Feb 16, 2022Updated 4 years ago
Are these results useful?