For The Watts: configurable power saving script with udev rules.
☆16Jan 31, 2014Updated 12 years ago
Alternatives and similar repositories for ftw
Users that are interested in ftw are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pantheon derivatives, experimental packages, and accessories☆10Jan 2, 2024Updated 2 years ago
- nftables firewall script☆13Sep 18, 2023Updated 3 years ago
- a-ray-grass is a yara module that provides support for DCSO-format bloom filters in yara. In the context of hashlookup, it allows quickly…☆14Aug 19, 2022Updated 4 years ago
- A Gnome Shell Extension to interact with the Home Assistant API☆11Jan 26, 2021Updated 5 years ago
- ⚠️ DEPRECATED Ethersync syncs files with etherpads.☆15Jun 13, 2013Updated 13 years 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.
- https://adventofcode.com/2024☆12Dec 25, 2024Updated last year
- Firebird Library for Free Pascal, Delphi and Kylix☆18Dec 23, 2015Updated 10 years ago
- My Agda/Mikan stuff☆13Aug 29, 2026Updated last month
- par is a paragraph reformatter, vaguely similar to fmt, but better.☆12May 19, 2010Updated 16 years ago
- Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -…☆13Sep 22, 2020Updated 6 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Mutt email client config files☆18Aug 2, 2022Updated 4 years ago
- ☆11Mar 7, 2024Updated 2 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Regionalized Value State Dependence Graph written in Rust☆13Nov 17, 2019Updated 6 years ago
- ☆13Jul 11, 2014Updated 12 years ago
- Internet Financial EXchange (IFEX) Protocol☆19Mar 14, 2018Updated 8 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆14Dec 4, 2024Updated last year
- Send mp4 video URLs or YouTube videos to Samsung Smart TV. This is a no-frills implementation intended to be as lightweight and portable …☆19Oct 6, 2019Updated 7 years ago
- ☆16May 12, 2020Updated 6 years ago
- Game Boy Advance emulator with audio support written in Rust 🦀🎮☆16Feb 26, 2025Updated last year
- Ambient sound player☆18Jul 11, 2015Updated 11 years ago
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 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.
- ☆10Jun 13, 2025Updated last year
- Vim 9 - teRNARY STATUSLIne☆17Jan 7, 2025Updated last year
- Single-file script that scans a folder for videos and download subtitles for all of them from legendas.tv☆14Sep 18, 2017Updated 9 years ago
- Higher Algebra with Opetopic Types☆17Mar 30, 2023Updated 3 years ago
- Sample implementation of Select2 with tagging in Flask and WTForms.☆10Sep 17, 2015Updated 11 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- CLI tool to interact with paperless-ngx remote API☆23Oct 10, 2026Updated last week
- Linear Types, Symmetric Monoidal Categories, and Tensors☆14Oct 14, 2025Updated last year
- A community driven repository to submit and share colorschemes for wpgtk☆19Jun 2, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 years ago
- Formalization of category theory in Agda☆17Feb 20, 2023Updated 3 years ago
- 🎨🎼 - autogen color scheme from pywal for cli-visualizer☆19Nov 4, 2019Updated 6 years ago
- Beaglebone Black PRU code for HC-SR04 sonar☆27Oct 26, 2014Updated 11 years ago
- guarded interaction trees☆14Jul 6, 2026Updated 3 months ago
- the enlightened pager. less paging. more content. read widely.☆22Mar 23, 2020Updated 6 years ago
- Collecting nowcasts of the 7-day hospitalization incidence in Germany.☆17Jan 28, 2025Updated last year