automatic screen rotation on a Lenovo X1 Yoga
☆14Feb 6, 2019Updated 7 years ago
Alternatives and similar repositories for thinkpad_x1_yoga_rotation
Users that are interested in thinkpad_x1_yoga_rotation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Oct 3, 2017Updated 8 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- Location-based techno with Sonic Pi and gpsd☆14Jun 12, 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.
- ☆17Jan 4, 2021Updated 5 years ago
- Monkey patch, test, and trace Python by attaching bindings to call sites, without modifying the code being observed. Built on wrapt.☆70Sep 15, 2026Updated last week
- Highly configurable CLI app for OpenAI's chat/text completion API☆11Jul 28, 2026Updated last month
- A Henkin-style completeness proof for the modal logic S5☆18Jun 20, 2021Updated 5 years ago
- a port of the melange-nvim colorscheme to helix☆11Mar 20, 2025Updated last year
- Use the power of Ruby to convert, edit and save synthdefs for SuperCollider☆10Mar 4, 2018Updated 8 years ago
- ☆17Oct 23, 2024Updated last year
- An X11 Clipboard Manager☆21Mar 28, 2021Updated 5 years ago
- Fork of suckless-tabbed with patches correctly applied.☆21Feb 7, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆20Aug 15, 2025Updated last year
- Easy deployment of ES modules without external connection needed at runtime☆12Oct 2, 2023Updated 2 years ago
- An automatic MIDI recorder for Linux☆14Oct 1, 2016Updated 9 years ago
- Keyboard layout files for printing your own custom mechanical keyboard at WASD Keyboards.☆12Nov 17, 2014Updated 11 years ago
- A Gem to convert methods to openai JSON schemas for use with tools☆14Feb 27, 2025Updated last year
- ☆14Aug 14, 2023Updated 3 years ago
- ☆11Jul 14, 2015Updated 11 years ago
- Audio File Peak Limiter☆20Mar 20, 2022Updated 4 years ago
- ☆28Jan 30, 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 set of bash scripts that package and unpack your codebase into and from a single JSON file, ready to be analyzed and understood by l…☆12Nov 10, 2024Updated last year
- netsurf☆47Jul 6, 2024Updated 2 years ago
- Fractional is a Ruby library for parsing fractions☆16Sep 23, 2017Updated 9 years ago
- An AI agent that writes code for you☆17Jun 8, 2024Updated 2 years ago
- ☆12May 31, 2025Updated last year
- Collection of playbooks I run in my personal home-lab.☆14Apr 5, 2023Updated 3 years ago
- Macro-based string templating. Repo migrated to https://codeberg.org/macromania/macromania☆25Feb 8, 2026Updated 7 months ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Dec 10, 2024Updated last year
- An mkfifo binding for ruby☆18Oct 10, 2017Updated 8 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.
- Cirno's Perfect Collision Library: Now you, too, can slam things together!☆13Aug 14, 2016Updated 10 years ago
- POC demonstrating best practice for high-performance LuaJIT C Binding.☆10Feb 15, 2016Updated 10 years ago
- LuaJIT General Purpose Routines☆15Feb 11, 2021Updated 5 years ago
- Cohere API client for Ruby☆17Apr 28, 2026Updated 4 months ago
- mpv plugin for caching streams robust against network glitches without increasing initial cache fill up☆13Jul 22, 2018Updated 8 years ago
- Rubio is a simple GUI radio player☆19Jun 19, 2026Updated 3 months ago
- Run Sonic Pi from within Atom or Pulsar.☆11Dec 24, 2022Updated 3 years ago