Linux kernel module for Lenovo Yoga tablet mode support
☆35Dec 26, 2022Updated 3 years ago
Alternatives and similar repositories for yoga-usage-mode
Users that are interested in yoga-usage-mode are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆140Jun 17, 2025Updated 11 months ago
- A simple screen recorder for Linux desktop. Supports Wayland & Xorg☆62Mar 15, 2024Updated 2 years ago
- An interactive interpreter for asynchronous algebraic effects☆15Jun 19, 2024Updated last year
- This repo contains all of Garuda Linux' own PKGBUILDs 📜 (mirrored from GitLab)☆21Jun 4, 2026Updated last week
- implementation of nftables for NixOS☆12Nov 17, 2019Updated 6 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆11May 7, 2023Updated 3 years ago
- GCode parser, pretty-printer and processing utils☆15Nov 13, 2023Updated 2 years ago
- ☆20Jul 3, 2023Updated 2 years ago
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 4 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- A virtual memory scanner☆10Jan 2, 2024Updated 2 years ago
- A curated list of PureScript packages for the Erlang backend☆10Jun 29, 2022Updated 3 years ago
- Hacks helping with semi-almost-usable declarative NixOS sandboxing☆12Aug 14, 2024Updated last year
- Render LaTeX math to SVG mages☆18Mar 25, 2024Updated 2 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 lightweight DNS proxy server, compatible with dnsmasq-china-list☆14Jun 4, 2026Updated last week
- ☆10Feb 4, 2023Updated 3 years ago
- Implementation of an intersection type systems in Elixir. This was a prototype that was never completed nor released.☆10Nov 10, 2020Updated 5 years ago
- ☆17Jan 18, 2023Updated 3 years ago
- A secure process-level sandbox based on a ptrace jail☆14Jun 19, 2023Updated 2 years ago
- The DXVKoTool extracts DXVK caches of games automatically and can update them with newer caches☆29Oct 20, 2022Updated 3 years ago
- ☆14Dec 26, 2024Updated last year
- For a given Haskell source file, determine where a symbol is imported from☆27Nov 16, 2018Updated 7 years ago
- Criterion benchmarks for the different haskell concurrent channel implementations in base and stm☆17Apr 21, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A Mix plugin to use Caramel☆15Oct 24, 2021Updated 4 years ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- ☆24Jun 2, 2026Updated last week
- A desktop application that lets you remotely debug apps on your KaiOS device.☆14May 12, 2024Updated 2 years ago
- 15-819 (Homotopy Type Theory) Lecture Notes☆16Mar 17, 2018Updated 8 years ago
- Online tool, which helps you create RPM Spec file from scratch.☆22Feb 16, 2022Updated 4 years ago
- ☆15Jan 14, 2026Updated 5 months ago
- Demonstrating how to make type families faster using typechecker plugins☆21Dec 29, 2020Updated 5 years ago
- Scripts to check kernel CONFIG_ values used by Mer☆10May 29, 2026Updated 2 weeks 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.
- A KDE Plasma widget to monitor the CPU power consumption.☆10Jan 11, 2026Updated 5 months ago
- ASN1 Raw/BER/DER/CER reader/writer in haskell☆24Jun 20, 2021Updated 4 years ago
- Setup for Android container in SharkBait☆11Dec 20, 2018Updated 7 years ago
- Rust reimplementation of subset of Erlang's xref☆15Nov 28, 2021Updated 4 years ago
- RFCat scripts to dump HCS keeloq encoder data☆13Sep 25, 2016Updated 9 years ago
- Command-line tool for formatting and publishing blog posts.☆20Aug 19, 2023Updated 2 years ago
- Divide without division☆20Aug 9, 2025Updated 10 months ago