React to screen unlocks in Ubuntu Linux
☆36Jun 14, 2023Updated 2 years ago
Alternatives and similar repositories for lockheed
Users that are interested in lockheed are comparing it to the libraries listed below
Sorting:
- A mod for Wolfire's game Black Shades that incorporates new aspects, such as a larger FPS limit, windowed mode, and larger FOV☆12Dec 9, 2021Updated 4 years ago
- Standard ML (SML) grammar for tree-sitter☆14May 22, 2025Updated 9 months ago
- This might just work☆11Jul 13, 2022Updated 3 years ago
- Inspired by Stefan Goessner's JSONPath http://goessner.net/articles/JsonPath/ with some enhancements☆10Mar 9, 2018Updated 7 years ago
- Modular Finite Maps over Ordered Types in Coq [maintainers=@letouzey,@palmskog]☆11Jun 30, 2024Updated last year
- General purpose buffer for use with building JITs☆19Oct 13, 2023Updated 2 years ago
- Eliminate tail recursive function calls☆14Jul 20, 2015Updated 10 years ago
- Homebrew tap for GAP☆15Oct 20, 2025Updated 4 months ago
- A Git mirror of Mark Atwood’s rem2ics project.☆10Apr 25, 2010Updated 15 years ago
- Remap Bixby to launch any apps.☆11May 12, 2017Updated 8 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Download large files in titanium using android async task☆20Jul 5, 2015Updated 10 years ago
- CAD files of my 3D-printed eyeglasses and instructions to order the lenses and mount them☆10Jan 2, 2025Updated last year
- Docker SSH Tunnel☆12Jul 26, 2025Updated 7 months ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- Qonvert lets you convert rational numbers between different bases and between different representations such as positional notation and i…☆13Apr 30, 2023Updated 2 years ago
- Basic, cross-platform set of commands to manipulate and query the file system, and OCaml library.☆18Sep 3, 2024Updated last year
- A minimal lockless queue (i.e. a light pipe) witten in vanilla C.☆13May 6, 2018Updated 7 years ago
- Computer Modern web fonts with public CDN☆15Mar 11, 2025Updated 11 months ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 12 years ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- Teensy 4 Pixel Pipeline☆12May 24, 2024Updated last year
- Wireguard config file generator for PIA VPN.☆19Dec 5, 2022Updated 3 years ago
- Validates that all require statements in a project point to an existing path and are correctly cased.☆20Mar 30, 2014Updated 11 years ago
- Qt OpenGL MD3 (Quake 3) Model Renderer☆12Oct 3, 2015Updated 10 years ago
- detect and monitor app uninstall by user☆12Jul 9, 2019Updated 6 years ago
- Raspberry Pi Emulator☆11Jul 25, 2014Updated 11 years ago
- Zippers for cofree types☆14Dec 7, 2021Updated 4 years ago
- Feature set algebra for linguistics☆16Jan 19, 2026Updated last month
- Hassio/Home Assistant Inovelli configuration for OpenZwave v1.4☆12Jul 8, 2020Updated 5 years ago
- Tool to run Titanium mobile tests in Appium☆15Nov 28, 2017Updated 8 years ago
- Multinomials for the Mathematical Components library.☆16Feb 27, 2026Updated last week
- CLI to manage internationalizing your Titanium app☆24Aug 13, 2025Updated 6 months ago
- Topological skeleton based on maximal disks method in Grasshopper☆11Nov 8, 2019Updated 6 years ago
- ezMPEG is an easy-to-use and easy-to-understand MPEG1 video encoder API☆11Mar 26, 2017Updated 8 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆16Feb 9, 2026Updated 3 weeks ago
- ☆15Mar 10, 2024Updated last year
- Continued fractions library.☆15May 23, 2015Updated 10 years ago
- Generate Entity-Relationship Diagrams for Postgresql Databases☆13Apr 7, 2025Updated 10 months ago