☆29Nov 23, 2018Updated 7 years ago
Alternatives and similar repositories for gen-rpi_os
Users that are interested in gen-rpi_os are comparing it to the libraries listed below
Sorting:
- new version of uboot for Phicomm N1☆10Apr 29, 2023Updated 2 years ago
- Github action for building archlinux packages☆13Jan 16, 2023Updated 3 years ago
- A linter for logr,klog,zap that can also works with golangci-lint as a plugin☆17Apr 10, 2025Updated 11 months ago
- Source code of generator of my (new) blog☆12Nov 10, 2024Updated last year
- 阿里云OSS的Clojure SDK封装☆10Mar 28, 2020Updated 5 years ago
- command webdavserver provides access to given directory via WebDAV protocol☆16Feb 18, 2023Updated 3 years ago
- HPC Game Platform☆11Apr 20, 2023Updated 2 years ago
- ☆13Feb 18, 2020Updated 6 years ago
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- libtask extension for php☆21Dec 9, 2014Updated 11 years ago
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 10 years ago
- OpenCore EFI for Dell Latitude 7390☆12Feb 13, 2022Updated 4 years ago
- Desktop Telegram client with good customization and Ghost mode.☆13Sep 23, 2025Updated 6 months ago
- Extended HTTP Support☆18Aug 27, 2015Updated 10 years ago
- Do-notation and Monads for JavaScript☆27Feb 23, 2022Updated 4 years ago
- Save a screenshot of the Windows desktop from command line (C API)☆10Aug 30, 2016Updated 9 years ago
- ☆14Aug 24, 2025Updated 6 months ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆13Oct 9, 2023Updated 2 years ago
- ☆12Apr 3, 2023Updated 2 years ago
- Google AR (增强现实) 平台 ArCore 实践（极乐净土舞蹈）☆14May 30, 2018Updated 7 years ago
- usbip daemon ported on top of libusb, no kernel drivers required☆16Oct 22, 2019Updated 6 years ago
- 将tinc的流量进行本地卸载，以达到分流VPN的作用☆10Jun 4, 2021Updated 4 years ago
- ☆12Jun 25, 2023Updated 2 years ago
- ASUS X550VC EFI Files of Hackintosh☆18Dec 25, 2020Updated 5 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 10 years ago
- `busybox` Docker image for multiple architectures☆12Jun 8, 2019Updated 6 years ago
- Linux mainline kernel fork for various HiSilicon Hi3716 / Hi3796 / Hi3798 devices☆22Oct 25, 2025Updated 4 months ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 7 years ago
- AlpineLinux pre-build disk images☆30Mar 3, 2025Updated last year
- A convenient LD_PRELOAD hooker☆14Feb 26, 2022Updated 4 years ago
- 京东联盟☆10Nov 3, 2020Updated 5 years ago
- build minimal armbian image for phicomm-n1☆14Jun 13, 2023Updated 2 years ago
- write a little simply typed functional language to practice Rust☆15Jul 22, 2023Updated 2 years ago
- Simple tool to run smartctl and print InfluxDB compatible output☆17Aug 30, 2017Updated 8 years ago
- ☆12Jan 9, 2018Updated 8 years ago
- 电视盒子装Hass常用的服务☆14Oct 21, 2022Updated 3 years ago
- 何语言（元宇宙版），次世代赛博元宇宙元编程语言，C++模板元编程实现☆16Nov 2, 2023Updated 2 years ago
- Extension for NAS4Free/XigmaNAS (N4F/XNAS) servers to display and install all known available Extensions/Add-Ons directly inside the WebG…☆14Jul 21, 2022Updated 3 years ago
- my kind of generic armv7l 32bit linux mainline stable kernel build - used on bananapi m1, asus tinkerboard, tx1 allwinner h3 tv box, r39 …☆23Mar 8, 2026Updated 2 weeks ago