Thra11 / nixpkgs-overlays-rk3399View external linksLinks
Nixpkgs Overlays relating to RockPRO64, Pinebook Pro and similar devices
☆13Apr 6, 2022Updated 3 years ago
Alternatives and similar repositories for nixpkgs-overlays-rk3399
Users that are interested in nixpkgs-overlays-rk3399 are comparing it to the libraries listed below
Sorting:
- More information on the Unofficial NixOS Wiki☆63Mar 29, 2022Updated 3 years ago
- My Agda blog/lab/playground☆12Updated this week
- Polymorphic guarded λ-calculus☆22Jul 17, 2025Updated 7 months ago
- emacs wrapper for pidgin instant messager☆18Mar 3, 2010Updated 15 years ago
- Geodimeter totalstaion toolkit and documentation☆10Jan 27, 2025Updated last year
- NixOS configuration for all my machines☆29Feb 3, 2026Updated 2 weeks ago
- My collection of dotfiles☆30Feb 9, 2026Updated last week
- Nix expressions for tools for the reMarkable tablet☆70Jul 6, 2021Updated 4 years ago
- Machinery for throwing and catching exceptions with some annotation.☆35Apr 11, 2025Updated 10 months ago
- Generate NetHack configurations using Dhall☆37Jul 22, 2021Updated 4 years ago
- A Go library that allows to deserialize, manipulate, and reserialize Borderlands 4 weapon/item codes.☆21Nov 7, 2025Updated 3 months ago
- Some of my .nix files☆39Feb 7, 2026Updated last week
- Public, Opinionated Mayflower NixOS Modules/Packages and other Expressions☆38Oct 6, 2025Updated 4 months ago
- A sandbox for my notes☆10Dec 15, 2015Updated 10 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- My configuration files☆21Sep 27, 2013Updated 12 years ago
- Play music on SoundCloud with Emacs via EMMS☆46Feb 18, 2022Updated 3 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- This project aims to help you creating a water tank level sensor with off the shelf components. It uses esphome for Home Assistant integr…☆19Jul 20, 2025Updated 6 months ago
- ☆10Nov 30, 2024Updated last year
- !!WIP!! A SteamVR hand tracking solution using a Webcam or Phone Camera to track hand movements and send the data to SteamVR for VR inter…☆12Mar 4, 2025Updated 11 months ago
- Npm and Bower module to perform proper basic arithmetic operations with monetary values in JavaScript, or else two decimal precision arit…☆10May 24, 2018Updated 7 years ago
- TinyBasic implementation in Racket (WIP)☆13Apr 25, 2025Updated 9 months ago
- ☆10Dec 16, 2020Updated 5 years ago
- advent of code in bash☆16Jan 4, 2026Updated last month
- ☆10Dec 27, 2021Updated 4 years ago
- A tool to help manage environments☆24Mar 10, 2023Updated 2 years ago
- Personal flake repository☆11Updated this week
- ☆12Mar 15, 2021Updated 4 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- A template for the oneplus-enchilada (OnePlus 6) using Mobile NixOS☆12May 2, 2023Updated 2 years ago
- Procedural terrain generator.☆10Jan 28, 2018Updated 8 years ago
- ☆12May 9, 2015Updated 10 years ago
- Print window informations☆16Apr 12, 2016Updated 9 years ago
- Experiments with linear types☆14Feb 23, 2018Updated 7 years ago
- Numerical snippets & tests☆12Jan 5, 2026Updated last month
- Expand CIDRs or wrangle a list of IPs back to its smallest CIDR blocks possible☆10Apr 5, 2020Updated 5 years ago
- Interpreter for inference rules☆13May 5, 2018Updated 7 years ago