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:
- 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 3 years ago
- An English translation of Deligne's three "Hodge theory" papers☆15Feb 7, 2026Updated 5 months ago
- ⚠️ DEPRECATED Ethersync syncs files with etherpads.☆15Jun 13, 2013Updated 13 years ago
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆13Mar 20, 2024Updated 2 years ago
- https://adventofcode.com/2024☆12Dec 25, 2024Updated last year
- 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.
- systemd service for Home Assistant☆18Jun 21, 2026Updated last month
- Firebird Library for Free Pascal, Delphi and Kylix☆18Dec 23, 2015Updated 10 years ago
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- My Agda stuff☆13Jul 3, 2026Updated 3 weeks ago
- par is a paragraph reformatter, vaguely similar to fmt, but better.☆12May 19, 2010Updated 16 years ago
- Easy to setup router from your Linux box - laptop/Raspberry Pi☆11Feb 27, 2016Updated 10 years ago
- OpenBox pipemenu for using xrandr☆15Jan 11, 2025Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Regionalized Value State Dependence Graph written in Rust☆12Nov 17, 2019Updated 6 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.
- Internet Financial EXchange (IFEX) Protocol☆19Mar 14, 2018Updated 8 years ago
- Calculate mean of pairwise weighted distances between points using great circle metric.☆11Jul 6, 2023Updated 3 years ago
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- Yuri's Linux configuration files☆11Nov 20, 2015Updated 10 years ago
- Challenger Deep Theme for Xresources such as xterm, (u)rxvt, and other X11 applications☆10Mar 27, 2019Updated 7 years ago
- Game Boy Advance emulator with audio support written in Rust 🦀🎮☆16Feb 26, 2025Updated last year
- Ambient sound player☆16Jul 11, 2015Updated 11 years ago
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆10Jun 13, 2025Updated last year
- Config for the awesome window manager☆18Jun 12, 2022Updated 4 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- Sample implementation of Select2 with tagging in Flask and WTForms.☆10Sep 17, 2015Updated 10 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- My configs and stuff☆20Mar 10, 2015Updated 11 years ago
- Linear Types, Symmetric Monoidal Categories, and Tensors☆13Oct 14, 2025Updated 9 months ago
- A community driven repository to submit and share colorschemes for wpgtk☆19Jun 2, 2021Updated 5 years ago
- A Lean 4 package for heavy numerical computations☆20Jan 16, 2022Updated 4 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.
- ☆12Feb 25, 2024Updated 2 years ago
- Based heavily on zet.aluzina.org and Terasic DE0☆18Nov 29, 2019Updated 6 years ago
- guarded interaction trees☆14Jul 6, 2026Updated 2 weeks ago
- This hook provides advanced support for single and multi device btrfs partitions, including rollback operations at boot time.☆21Jan 6, 2016Updated 10 years ago
- PostgreSQL linter and formatter for schema migrations and design best practices.☆16Updated this week
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Open Devices Corner docs - **Contributions welcome!**☆15Jun 18, 2022Updated 4 years ago