Patches to improve the behavior of the audio system on the Lenovo Thinkpad X1 Carbon 7th gen
☆11Jan 4, 2021Updated 5 years ago
Alternatives and similar repositories for thinkpad-x1-gen7-sound
Users that are interested in thinkpad-x1-gen7-sound are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Oct 2, 2023Updated 3 years ago
- ☆13Dec 7, 2023Updated 2 years ago
- Snap package for Spot, a native Spotify client for GNOME☆11May 21, 2025Updated last year
- VoidLinux XBPS primitive wrapper with bash-completion☆10Feb 2, 2020Updated 6 years ago
- JSON with comments and trailing commas☆10Nov 12, 2023Updated 2 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.
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- ☆13Jan 15, 2024Updated 2 years ago
- ☆12Jan 8, 2024Updated 2 years ago
- Universal Plug and Play Client (UPnP) Implementation. Supports IGD control as well as DLNA☆16Aug 24, 2026Updated 2 months ago
- A GTK / Gnome-Shell theme.☆20Dec 5, 2017Updated 8 years ago
- GNOME Boxes☆17Aug 29, 2026Updated 2 months ago
- ☆12Updated this week
- (re)arrange and select fields on each line☆12Sep 15, 2025Updated last year
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆13Mar 20, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An English translation of Deligne's three "Hodge theory" papers☆15Sep 21, 2026Updated last month
- A well typed by construction kernel language for bidirectional programming☆14Jan 2, 2025Updated last year
- (WIP) A fast and modern download manager made using flutter.☆13Sep 6, 2021Updated 5 years ago
- rebranded fork of functional_listenter future development will happen here☆14Sep 19, 2026Updated last month
- My Agda/Mikan stuff☆13Oct 23, 2026Updated 2 weeks ago
- a lib☆11Oct 16, 2025Updated last year
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Sticky sticky PCI☆10Oct 25, 2018Updated 8 years ago
- A Dart library to decode audio files☆12May 26, 2026Updated 5 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Calculate mean of pairwise weighted distances between points using great circle metric.☆11Jul 6, 2023Updated 3 years ago
- A set of helpers for resolving file names and paths of dynamic libraries.☆15Jul 17, 2023Updated 3 years ago
- A binary encoder / decoder implementation in Rust. (Forked from the now-defunct bincode)☆12Nov 2, 2020Updated 6 years ago
- A package for extracting key meta information from an MP3 file including sample rate, bitrate and duration.☆12Mar 19, 2026Updated 7 months ago
- 🎹 D-Bus MPRIS for GNU/Linux.☆17Feb 27, 2023Updated 3 years ago
- PCIe to .1 inch header breakout☆11Sep 14, 2020Updated 6 years ago
- New email notification icon for GNOME Shell.☆15Mar 21, 2025Updated last year
- YouTube music API client library based on Innertube API for Dart & Flutter☆12Sep 26, 2023Updated 3 years ago
- multiverse support for elixir☆13Aug 22, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A graphical application to enhance user experience with Ubuntu on WSL during the distro installation process.☆17Dec 13, 2022Updated 3 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 9 years ago
- Provides a client to connect to UDisks - the service that accesses and manipulates disks, storage devices and technologies on Linux.☆18Oct 11, 2026Updated 3 weeks ago
- Create .wav files in Dart and visualise them in Flutter.☆22Nov 15, 2019Updated 6 years ago
- Flutter audio_service plugin implementing Media Player Remote Interfacing Specification☆13Oct 24, 2026Updated last week
- Vaadin 14 demo application (DevDays May / 2019)☆11Nov 2, 2021Updated 5 years ago
- A personal etude into rust software (RPG<-it's more fun to debug) development: Tales of the Great White Moose☆18Jun 13, 2023Updated 3 years ago