gnome-shell extension for todolist with subsections.
☆17Mar 26, 2023Updated 3 years ago
Alternatives and similar repositories for ToDoList
Users that are interested in ToDoList are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Aug 30, 2026Updated 2 months ago
- A new language for optimization☆13May 17, 2021Updated 5 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated 2 years ago
- Reading done fast☆11Oct 23, 2020Updated 6 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.
- Gnome shell extension to add transparency to notifications☆12Apr 10, 2021Updated 5 years ago
- E-mail filter and classifier based on Bayesian learning☆17Jan 4, 2022Updated 4 years ago
- Formula to detect the ease of reading a text according to the Coleman-Liau index (1975)☆14Nov 1, 2022Updated 4 years ago
- Gnome Shell Extension to control Web and Database Server in a GUI Panel☆13Apr 2, 2016Updated 10 years ago
- Media keys extension for gnome-shell☆11Mar 16, 2025Updated last year
- PasswordMaker powered by WebExtension☆16Jan 30, 2019Updated 7 years ago
- Taskbar and additional enhancements for the GNOME shell.☆23Oct 28, 2026Updated last week
- OCaml binary heap implementation by Jean-Christophe Filliatre☆18Nov 29, 2020Updated 5 years ago
- Self-hosted Free(Libre) Ebook Reader☆14Dec 4, 2017Updated 8 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.
- Toying around virtualising macOS for development purposes☆11Aug 25, 2020Updated 6 years ago
- Experimental deltachat client☆15May 11, 2024Updated 2 years ago
- ☆10Dec 6, 2022Updated 3 years ago
- ☆11Dec 11, 2022Updated 3 years ago
- Administrative tools for the Tatoeba website☆16May 2, 2021Updated 5 years ago
- ☆58Mar 9, 2024Updated 2 years ago
- Disassembler Library for x86 and x86-64☆11Oct 13, 2022Updated 4 years ago
- Realtime collaboration example.☆14Oct 27, 2020Updated 6 years ago
- An EPUB file to test various (mainly security) aspects of e-book readers.☆13May 17, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Updated this week
- Hacks helping with semi-almost-usable declarative NixOS sandboxing☆13Aug 14, 2024Updated 2 years ago
- an improvement project for ibus-cloud-pinyin on google code, currently modified for vala 0.12☆10Oct 30, 2011Updated 15 years ago
- Pop!_OS fork of https://salsa.debian.org/zfsonlinux-team/zfs.git☆13Oct 14, 2026Updated 3 weeks ago
- An updated Nix script, originally written by Cole Mickens (colemickens), to deploy NixOS virtual machines to the Azure Cloud.☆15Nov 27, 2023Updated 2 years ago
- ☆11Oct 26, 2021Updated 5 years ago
- Browser extension adding shortcuts to DWDS queries☆12Dec 30, 2024Updated last year
- ArchlinuxCN repo developer's gpg key☆14May 5, 2026Updated 6 months ago
- Personal NUR repository☆13Updated this week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Cryolitia's artworks☆11Jul 4, 2025Updated last year
- ☆30Aug 10, 2025Updated last year
- The Emilia Pinball Project , last code available and 2 new tables☆12May 12, 2025Updated last year
- Public issue tracker for garnix.io☆16Feb 15, 2022Updated 4 years ago
- Tool to convert OASIS metadata to OPAM package descriptions☆26Oct 28, 2017Updated 9 years ago
- QR code scanner for Plasma Mobile☆15Updated this week
- Distributed packaging system for Arch Linux with Github Actions☆17Updated this week