BrainWart / x13s-nixosView external linksLinks
Lenovo X13s NixOS module
☆14Feb 5, 2026Updated last week
Alternatives and similar repositories for x13s-nixos
Users that are interested in x13s-nixos are comparing it to the libraries listed below
Sorting:
- Packages kolide/launcher for Nix☆25Jan 27, 2026Updated 2 weeks ago
- Expose Kubernetes services with mDNS☆24Apr 5, 2019Updated 6 years ago
- Centipede is a work-in-progress multipathing VPN for improving smartphone Internet connection reliability and performance.☆10Sep 30, 2024Updated last year
- A startpage called "dawn"☆17Mar 17, 2025Updated 11 months ago
- A Dart library to decode audio files☆11Jan 6, 2025Updated last year
- NixOS Running on LicheePi 4A(RISC-V)☆44Jul 20, 2024Updated last year
- Create a NixOS VM using Lima☆51Jun 26, 2024Updated last year
- Black Frame Insertion for the Windows Desktop with StrobeAPI support.☆15Aug 27, 2025Updated 5 months ago
- Twili I/O library for libnx☆14Jan 13, 2020Updated 6 years ago
- Nix build Scheduler☆11Nov 24, 2025Updated 2 months ago
- An x86_64 assembler written in bash.☆11Jul 14, 2024Updated last year
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Proof of concept that uses cosign and GitHub's in built OIDC for actions to sign container images, providing a proof that what is in the …☆14Jan 31, 2023Updated 3 years ago
- ☆11Oct 17, 2023Updated 2 years ago
- On-demand scanning of websites for accessibility and security vulnerabilities/compliance / Analyse à la demande des sites Web pour les vu…☆12Apr 30, 2023Updated 2 years ago
- ☆10May 11, 2021Updated 4 years ago
- ☆12Feb 26, 2022Updated 3 years ago
- Some documentation on what I did to get Linux running on the TrekStor SurfTab wintron 7.0☆12Jun 25, 2017Updated 8 years ago
- A SBOM-centric security scanner.☆18Updated this week
- ☆10Jun 30, 2021Updated 4 years ago
- ☆10Dec 19, 2025Updated last month
- Script to detect hardware on computers and output it to a PDF using latex☆10Jan 26, 2026Updated 3 weeks ago
- Raspberry Pi Pico RP2040 powered Keyboard and Mouse converter, originally a project specifically for the IBM Model F PC/AT keyboard, it i…☆15Updated this week
- A proof-of-concept formal verification tool for WebAssembly.☆10Mar 3, 2024Updated last year
- ☆13Feb 6, 2024Updated 2 years ago
- Command line time tracker compatible with gtimelog☆15Nov 17, 2025Updated 3 months ago
- iOS devicetree utils☆11Aug 31, 2023Updated 2 years ago
- Make your own super cluster☆11Sep 30, 2020Updated 5 years ago
- Simple, read-only TFTP server☆18Jan 18, 2026Updated 3 weeks ago
- Tiny vi text editor clone with enough features to be truly useful☆15Feb 14, 2024Updated 2 years ago
- ☆19Jan 9, 2026Updated last month
- Buildroot package repo☆11Feb 7, 2021Updated 5 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- Kubewarden's User Interface☆12Updated this week
- Pure Storage OpenMetrics exporter for FlashBlade☆15Aug 7, 2025Updated 6 months ago
- Provides common orchestration for TJSDoc.☆11Aug 25, 2017Updated 8 years ago
- SOPS community content☆14Mar 12, 2024Updated last year
- Hydrozoa: Lightweight multi-party state channels for Cardano☆16Updated this week
- Example implementation of a Multi-Layered Pereceptron☆12Sep 13, 2018Updated 7 years ago