☆27Jan 10, 2020Updated 6 years ago
Alternatives and similar repositories for linux-nvidia-dynamic-power-management-setup
Users that are interested in linux-nvidia-dynamic-power-management-setup are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Jun 21, 2024Updated last year
- Qomui (Qt OpenVPN Management UI)☆15Jan 10, 2023Updated 3 years ago
- Relatively hacky way to get wallpaper engine working under plasma (and maybe other DE's) without having to implement anything myself☆13Sep 25, 2024Updated last year
- A fast and minimalistic image viewer forked from the now discontinued emulsion.☆16Mar 18, 2026Updated last month
- Cur dependently-typed language in miniKanren.☆17Jan 26, 2018Updated 8 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Relational implementation of the CESK machine☆21Jul 15, 2013Updated 12 years ago
- ☆36Oct 28, 2025Updated 5 months ago
- Reason about Term Rewriting Systems☆18Jul 24, 2022Updated 3 years ago
- Manage processes and monitor system resources in Pantheon DE☆13Nov 24, 2025Updated 4 months ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Feb 3, 2013Updated 13 years ago
- miniKanren variant with a functional syntax, expressing disjunction via pattern matching☆17Mar 28, 2020Updated 6 years ago
- Dumb workaround that allows you to play video player content from a vrchat world in mpv instead, since they don't work in proton yet.☆16Mar 9, 2026Updated last month
- Logistic regression FPGA core☆19Apr 7, 2021Updated 5 years ago
- The pastebin for mathematicians☆35Jun 9, 2014Updated 11 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.
- Synchronizes org-mode files with various sources of issues or bug trackers.☆12Sep 16, 2015Updated 10 years ago
- A simple fetch program written in rust☆36Aug 17, 2022Updated 3 years ago
- Run Cookie Clicker Steam edition with native Electron on Linux.☆31Jan 30, 2026Updated 2 months ago
- An extremely small, easy to use multi-line-graph library.☆42Nov 26, 2025Updated 4 months ago
- Basics of optimizing VRChat worlds☆35Jun 15, 2025Updated 10 months ago
- Normalization-by-evaluation in miniKanren☆25Feb 26, 2023Updated 3 years ago
- Red Discord bot cogs with fun and useful slash commands☆26Updated this week
- Numba compatible SCFG (Structured Control Flow Graphs) utilities.☆27Updated this week
- Python S-expression emulation using tuple-like objects.☆25Oct 20, 2025Updated 5 months 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.
- Wirelessly connect, manage and control your Android devices from Linux ✨☆104Updated this week
- RCO2 Fork for RFO for Windows - TEMP BUG RELEASE.☆17Feb 24, 2024Updated 2 years ago
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆22Jun 16, 2025Updated 10 months ago
- Benchmark structured generation libraries☆31Oct 25, 2024Updated last year
- Parse an open api (previously swagger) spec.☆15Feb 26, 2026Updated last month
- A Kerbal Space Program mod that enables customized time warping☆21Jan 18, 2026Updated 3 months ago
- ☆25Feb 26, 2023Updated 3 years ago
- Copying Garbage Collector☆14May 13, 2020Updated 5 years ago
- Better Fluent integration for JavaScript☆11Mar 6, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A custom context for eyre that supports backtraces on stable☆15Mar 19, 2024Updated 2 years ago
- Log-Watcher utility - replacement for: `tail -F /some/path/*` - that uses Kqueue to watch also new files…☆13Oct 1, 2022Updated 3 years ago
- Singleton OTP actor registry for Gleam☆13Jan 26, 2026Updated 2 months ago
- Certified Reasoning with Language Models☆31Dec 6, 2023Updated 2 years ago
- emacs package for pattern-based rewriting of sexp-structured code☆40Dec 21, 2021Updated 4 years ago
- composable validation functions for custom types☆14Jun 11, 2025Updated 10 months ago
- Configurable Cursor highlighting.☆13Aug 9, 2025Updated 8 months ago