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 4 years ago
- BTC :1JUhp2T15jPM9Y5r3uWmiyzMbAaRMNdoQg,LTC: LfDZfSaoyGtm8nEmfE4tsz8MtajPXfDAYd☆15Sep 16, 2017Updated 8 years ago
- A browser extension that builds tab functionality to easily manage your subscriptions on Youtube☆10May 19, 2024Updated last year
- A simple BDD library for OCaml☆13May 20, 2025Updated 10 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆11Dec 22, 2018Updated 7 years ago
- An exact real arithmetic (aka constructive reals) for OCaml☆13Jun 14, 2024Updated last year
- Taskbar and additional enhancements for the GNOME shell.☆18Mar 19, 2026Updated 3 weeks ago
- One button to close any overlay on any website☆11Mar 20, 2022Updated 4 years ago
- Gnome shell extension to add transparency to notifications☆12Apr 10, 2021Updated 5 years ago
- Various modules to implement the DetecTor design from http://detector.kuix.de☆52Oct 5, 2016Updated 9 years ago
- OCaml SDL2_image bindings to go with Tsdl☆14Sep 12, 2021Updated 4 years ago
- Tool to convert OASIS metadata to OPAM package descriptions☆27Oct 28, 2017Updated 8 years ago
- E-mail filter and classifier based on Bayesian learning☆16Jan 4, 2022Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- notes and examples from reading O'Reilly's Robust Python book☆11Jan 3, 2022Updated 4 years ago
- 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
- String searching with errors, using the Wu-Manber algorithm☆23Jan 17, 2025Updated last year
- Toying around virtualising macOS for development purposes☆11Aug 25, 2020Updated 5 years ago
- ☆17Mar 28, 2026Updated 2 weeks ago
- ☆11Dec 11, 2022Updated 3 years ago
- Build workspace and packaging scripts for the eMule Community fork.☆14Updated this week
- A cool looking profile readme template. Feel free to fork and customize!☆16Jan 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.
- A simple bot tracking git commits/PRs/issues/branches☆13Updated this week
- NixPak Packages (moved to https://github.com/nixpak/nixpak/tree/master/contrib)☆15Jul 12, 2025Updated 9 months ago
- 灵钠OS轻量版☆10Jun 21, 2021Updated 4 years ago
- ☆12Updated this week
- 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 4 months ago
- ☆11Oct 26, 2021Updated 4 years ago
- OCaml bindings to wlroots [experimental]☆28Feb 6, 2024Updated 2 years ago
- 自动将网易云的歌单同步到本地☆15Oct 25, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Makes notifications in notification list expandable☆27Nov 2, 2023Updated 2 years ago
- 胖喵输入法: GNU/Linux 应用 (ibus) (A Chinese pinyin input method for ibus)☆16Mar 23, 2025Updated last year
- Administrative tools for the Tatoeba website☆16May 2, 2021Updated 4 years ago
- ☆10Dec 28, 2019Updated 6 years ago
- My personal NUR repository☆11Updated this week
- Benchmark between nix, lix and tvix☆16Sep 17, 2025Updated 6 months ago
- ☆17Feb 28, 2022Updated 4 years ago