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:
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- A new language for optimization☆13May 17, 2021Updated 5 years ago
- ☆13Aug 4, 2025Updated 9 months ago
- A browser extension that builds tab functionality to easily manage your subscriptions on Youtube☆11May 19, 2024Updated 2 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆11Dec 22, 2018Updated 7 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- Reading done fast☆11Oct 23, 2020Updated 5 years ago
- Internet radio browser plugin for rhythmbox☆13Jun 15, 2011Updated 14 years ago
- One button to close any overlay on any website☆11Mar 20, 2022Updated 4 years ago
- Taskbar and additional enhancements for the GNOME shell.☆20Apr 23, 2026Updated last month
- Uptime Indicator gnome-shell extension☆17Sep 14, 2025Updated 8 months ago
- Tool to convert OASIS metadata to OPAM package descriptions☆27Oct 28, 2017Updated 8 years ago
- notes and examples from reading O'Reilly's Robust Python book☆11Jan 3, 2022Updated 4 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.
- Hacks helping with semi-almost-usable declarative NixOS sandboxing☆12Aug 14, 2024Updated last year
- Gnome Shell extension for folders synchronization.☆13Sep 26, 2017Updated 8 years ago
- New email notification icon for GNOME Shell.☆15Mar 21, 2025Updated last year
- Toying around virtualising macOS for development purposes☆11Aug 25, 2020Updated 5 years ago
- ☆17Mar 28, 2026Updated last month
- Gnome Shell Extension to control Web and Database Server in a GUI Panel☆13Apr 2, 2016Updated 10 years ago
- ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.☆21Sep 22, 2025Updated 8 months ago
- ☆11Dec 11, 2022Updated 3 years ago
- Nullable-array is a small self-contained library providing an efficient implementation for a type equivalent to `'a option array`☆18May 5, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Build workspace and packaging scripts for the eMule Community fork.☆14Updated this week
- ☆20Dec 10, 2022Updated 3 years ago
- A cool looking profile readme template. Feel free to fork and customize!☆16Jan 3, 2025Updated last year
- A simple bot tracking git commits/PRs/issues/branches☆14Apr 18, 2026Updated last month
- NixPak Packages (moved to https://github.com/nixpak/nixpak/tree/master/contrib)☆15Jul 12, 2025Updated 10 months ago
- 灵钠OS轻量版☆10Jun 21, 2021Updated 4 years ago
- An alignment-free approach to estimating exon-inclusion ratios without a reference transcriptome☆10Jan 25, 2019Updated 7 years ago
- Hardening your OS/Profile is like building with LEGO, incorporating a couple of Grsecurity features and implementing aggressive security …☆21Nov 24, 2025Updated 6 months ago
- Realtime collaboration example.☆14Oct 27, 2020Updated 5 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Oct 26, 2021Updated 4 years ago
- Personal NUR repository☆13Updated this week
- OCaml bindings to wlroots [experimental]☆30Feb 6, 2024Updated 2 years ago
- A crystalline Jekyll theme for blog☆25Oct 19, 2022Updated 3 years ago
- Administrative tools for the Tatoeba website☆16May 2, 2021Updated 5 years ago
- ☆10Dec 28, 2019Updated 6 years ago
- Proof of concept for an Audiobook Player☆18Mar 15, 2017Updated 9 years ago